.gitignore includes "Makefile", masking out Makefiles that are part of the distribution

[michaellenaghan]

For example:

• https://github.com/cisco/ChezScheme/blob/master/csug/Makefile
• https://github.com/cisco/ChezScheme/blob/master/release_notes/Makefile

[michaelballantyne]

Including Makefile in .gitignore only hides any Makefile found in the top directory of the project; it does not apply to subdirectories. The .gitignore file would only hide the files you list if a pattern like **/Makefile was included.

The top-level Makefile is generated by the configure script, so hiding it is appropriate.

[michaellenaghan]

Thanks, you're right; the problem was that my editor was applying .gitignore incorrectly.

[burgerrg]

The .gitignore file should use /Makefile instead of Makefile, just as you suggested. Thanks so much for finding this!

[burgerrg]

Fixed in commit 7097480.