[Bug other/50900] 'gmake pdf' fails in libiberty

[joseph at codesourcery dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50900

--- Comment #13 from joseph at codesourcery dot com <joseph at codesourcery dot com> ---
Isn't this the issue fixed by

2012-06-29  Andreas Schwab  <schwab@linux-m68k.org>

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

(which I more recently backported to 4.7 branch when I encountered it 
there)?