--- 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 address@hidden GNU Free Documentation License address@hidden GNU Free Documentation License @cindex FDL, GNU Free Documentation License @include fdl.texi