On Thu, 2011-05-12 at 14:20 +0200, Julien Palard wrote: > 2011/5/12 Paul Smith <psm...@gnu.org> > That's because the online manual describes the latest released version > of GNU make (3.82) but your system is using an older version where > this > feature is not supported. > > Oh so easy ... and the version is wrote in the first page of the > online version ( i missed it ) , perhaps it should be written more > often like in the header or footer of pages ?
The template of the HTML output is a standard one provided by the FSF so I don't really have control over the headers and footers. That's a good idea though. -- ------------------------------------------------------------------------------- Paul D. Smith <psm...@gnu.org> Find some GNU make tips at: http://www.gnu.org http://make.mad-scientist.net "Please remain calm...I may be mad, but I am a professional." --Mad Scientist _______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make
