[Bug bootstrap/56258] New: Please upgrade doc/*.texi to the latest texinfo package(s)

[gcc@Denis-Excoffier.org]

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

             Bug #: 56258
           Summary: Please upgrade doc/*.texi to the latest texinfo
                    package(s)
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: bootstrap
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: gcc@Denis-Excoffier.org


Bootstrap fails if the last texinfo (currently 4.13.96) is used (this was also
the case with at least 4.13.94 and 4.13.95). It seems that messages
like:

.../install.texi:3133: warning: @anchor should not appear in @heading

or

.../gcc.texi:88: warning: @tex should only appear at a line beginning

make the building of doc/gcc.info to fail. Prepending "-" in front of the
building rule in gcc/Makefile solves the issue, but gcc.info does not get
installed (of course). Plain texinfo-4.13 is OK. I tried with gcc-4.8-20130203
under x86_64-apple-darwin12.2.0 but i suppose this is platform independent.

Please upgrade the *.texi files in order to be able to cope with the most
recent (even alpha) texinfo releases. This is also applicable to the
soon-to-be-released GCC 4.7.3.

Also, perhaps texinfo should be listed in install/prerequisites.html.

Regards,

Denis Excoffier.