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 <sch...@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)?
