problems with gawk-3.0.6's Makefiles

[Bruno Haible]

Peter Breitenlohner writes:

> I found it very nice that you now have added 'install-strip' as make target,
> but in order to use it I had to apply the enclosed patch. (Parts of the
> patch are for 'DESTDIR'.)

Your patch sets DESTDIR to empty in the Makefile; this is not needed. In
fact, the GNU standards recommend "Do not set the value of `DESTDIR' in your
Makefile".

> All these problems would probably go away if (and when) you use automake!

automake comes with problems of its own. One of them is that automake wants
to do everything for you, and if you want to do a particular thing not
foreseen in automake, it's usually quite hard to find the right "make"
target or "make" variable for it.

Therefore, please let maintainers who wish to rely on autoconf directly
(without automake) do so.

Bruno