Dear developers, I found that the GNU Free Documentation License of the manual is included in the appendix named "Complex Makefile Example".
I attach a patch that fixes this issue. Christophe
--- make.texi.orig 2011-09-05 21:41:31.000000000 +0200 +++ make.texi 2011-09-05 21:42:00.000000000 +0200 @@ -11520,7 +11520,7 @@ @end example @node GNU Free Documentation License, Concept Index, Complex Makefile, Top -@appendixsec GNU Free Documentation License +@appendix GNU Free Documentation License @cindex FDL, GNU Free Documentation License @include fdl.texi
_______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make
