On Thu, Jul 19, 2012 at 1:19 PM, Philip Guenther <guent...@gmail.com> wrote: > The info docs that are part of the installed binary package would > surely match the installed binary. > Either > info make > or > info 'gnu make' > > has worked on every system I've seen.
All true, but this situation trips people up quite frequently and not everyone is comfortable with 'info'. I think it would be a good thing if older manuals could be kept online, e.g. by adding a version level: http://www.gnu.org/software/make/manual/3.81/make.html http://www.gnu.org/software/make/manual/3.82/make.html No, I'm not offering to do it and yes, the information is available other ways. But it would be helpful. David _______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make
