Eric Blake wrote:
> > This Makefile is so specialized that I think it can assume GNU make.
> > Does anyone prefer not to do that?
>
> No complaint by me, although we might want to 'git mv {,GNU}Makefile' to
> make the change obvious.
When a newbie looks whether there is a Makefile, he looks for 'Makefile'.
I therefore find it preferable to not rename 'Makefile' to 'GNUmakefile',
and instead add a comment such as "This Makefile assumes GNU make, git,
and makeinfo for the documentation."
Bruno
--
In memoriam Sophie Scholl <http://en.wikipedia.org/wiki/Sophie_Scholl>
