I've applied this patch backport to 4.7 branch to fix "make install-pdf" 
there with newer Texinfo tools.

2013-11-15  Joseph Myers  <jos...@codesourcery.com>

        Backport from mainline:
        2012-06-29  Andreas Schwab  <sch...@linux-m68k.org>

        * copying-lib.texi (Library Copying): Don't use @heading inside
        @enumerate.

Index: copying-lib.texi
===================================================================
--- copying-lib.texi    (revision 204833)
+++ copying-lib.texi    (working copy)
@@ -476,12 +476,7 @@
 of all derivatives of our free software and of promoting the sharing
 and reuse of software generally.
 
-@iftex
-@heading NO WARRANTY
-@end iftex
-@ifinfo
 @center NO WARRANTY
-@end ifinfo
 
 @item
 BECAUSE THE LIBRARY IS LICENSED FREE OF CHARGE, THERE IS NO

-- 
Joseph S. Myers
jos...@codesourcery.com

Reply via email to