Re: autoconf-2.62: `make install' fails if file system is case insensitive

[Stepan Kasal]

Hello make makers,
  I hope you won't mind if I expand on this:

> and it looks like case-insensitive GNU make is treating 'make install' and
> 'make ./INSTALL' as synonyms.  [...]

Indeed it seems weird when "install" is identified with "./install" even
though "install" is declared as a phony target.  (I don't know how
hard it would be to change this, because the .PHONY can appear at the
end of the makefile.)

Similarly, if a target is declared as phony, it perhaps should be
treated as case sensitive even though make is configured as case
insensitive.

What do you think?

Stepan Kasal