[Bug other/56663] [PATCH] docs can't be built with texinfo 5.x

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |DUPLICATE

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> 2013-03-20 11:02:42 UTC ---
Duplicate.

*** This bug has been marked as a duplicate of bug 56258 ***