On Sat, Oct 08, 2011 at 11:48:36AM -0400, Paul Smith wrote: Hi,
> It's not the manual that's outdated, it's your version of GNU make. > The online manual always defines the latest version of GNU make, which > is currently GNU make 3.82. You're using GNU make 3.81, which is not > the latest, so your version of GNU make doesn't match the manual. > You can tell this by looking right at the beginning of the manual where > it says: > > This is Edition 0.71, last updated 19 July 2010, of The GNU Make > Manual, for GNU make version 3.82. > > If you want accurate documentation then use the version that comes with > the version of GNU make you have installed. oh, you are right. Somehow did not expect such a change in syntax at this age of GNU make or between minor version numbers. But sure, this is not an excuse for not reading the manual enough. Best regards Georg _______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make
