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

[Bernhard.Rosenkranzer at linaro dot org]

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



             Bug #: 56663

           Summary: [PATCH] docs can't be built with texinfo 5.x

    Classification: Unclassified

           Product: gcc

           Version: 4.7.3

            Status: UNCONFIRMED

          Severity: normal

          Priority: P3

         Component: other

        AssignedTo: unassig...@gcc.gnu.org

        ReportedBy: bernhard.rosenkran...@linaro.org





Created attachment 29699

  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=29699

Patch



gcc fails to build while generating its documentation if texinfo 5.x is

installed.



Attaching a fix.