[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: unassigned@gcc.gnu.org
        ReportedBy: Bernhard.Rosenkranzer@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.