Re: New module gnu-make

[Paul Eggert]

Bruno Haible <address@hidden> writes:

> Since the module has no files in lib/, the license is more clearly expressed
> as 'GPLed build tool'. This makes it clear that an LGPLed package may use this
> module.

Thanks for catching this; I installed that change (also for posix-shell).

> since there is only one development branch of GNU make (i.e. no
> forks), and subsequent releases of GNU make don't remove features of
> previous releases.

Yes.  I was thinking of a different scenario, though.  Other 'make'
implementations might support the % feature of GNU Make, and if so,
then we might want makefiles to use this feature even when another
'make' implementation is used.