[Bug other/56860] New: Texinfo bug in doc/cppopts.texi

[david.narvaez at computer dot org]

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



             Bug #: 56860

           Summary: Texinfo bug in doc/cppopts.texi

    Classification: Unclassified

           Product: gcc

           Version: 4.7.2

            Status: UNCONFIRMED

          Severity: normal

          Priority: P3

         Component: other

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

        ReportedBy: david.narv...@computer.org





Could revision 192887 be backported to 4.7.2?