Re: [PATCH] Makefile: determine the list of header files using a glob

Mike Hommey [off-list ref] writes:

On Fri, Nov 27, 2009 at 10:28:38AM -0800, Junio C Hamano wrote:

quoted

Mike Hommey [off-list ref] writes:
...

quoted

Then it's fine. But shouldn't that be noted somewhere, like in the
INSTALL file ?

Surely.  Please make it so.

I had another idea in the interim. If GNU make is necessary, why not
make the Makefile an explicit GNU make only Makefile, by renaming it
GNUmakefile ?

That wouldn't remove the need to add a note in the INSTALL file, though.

I think you answered the question yourself.

Personally, when I am dealing with other people's projects, I dislike ones
that do not name their own Makefile "Makefile", as I traditionally have
done my local customization by having a higher precedence Makefile
("makefile" in the old world order, or "GNUmakefile" for gmake) that sets
things up and then call into upstream "Makefile".  For this project, since
I am the upstream, I do want to keep the file named "Makefile".