* dev/doc/specification: Generated files are forbidden on the repository.