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