Re: [doc, committed] clean up redundant cpp option documentation

[Sandra Loosemore]

On 12/26/2016 02:38 AM, Eric Botcazou wrote:
eric@arcturus:~/build/gcc/native/gcc> make doc
if [ xinfo = xinfo ]; then \
         makeinfo --split-size=5000000 --split-size=5000000 --no-split -I .
-I /home/eric/svn/gcc/gcc/doc \
                 -I /home/eric/svn/gcc/gcc/doc/include -o doc/cpp.info
/home/eric/svn/gcc/gcc/doc/cpp.texi; \
fi
/home/eric/svn/gcc/gcc/doc/cpp.texi:4296: @command expected braces.
/home/eric/svn/gcc/gcc/doc/cpp.texi:4296: Misplaced {.
/home/eric/svn/gcc/gcc/doc/cpp.texi:4296: Misplaced }.
/home/eric/svn/gcc/gcc/doc//cppopts.texi:4296: @code missing close brace.
makeinfo: Removing output file `doc/cpp.info' due to errors; use --force to
preserve.
Makefile:3145: recipe for target 'doc/cpp.info' failed
make: *** [doc/cpp.info] Error 1

Fixed thusly, applied on the mainline.


        * doc/cpp.texi (Invocation): Remove space in command.

This is very strange; I didn't get that error.  We've got makeinfo 6.1 
(Feb 2016) installed here.  Are you using a newer or older version?

-Sandra