[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 ***