Should auto-generated files be in the repository or shouldn't they be auto-generated at build time? ...