[DOC] fix formatting problems in invoke.texi

["Manuel López-Ibáñez" <lopezibanez at gmail dot com>]

:ADDPATCH doc:

The normal text within @gccoptlist{} is printed bold in the manpage.
That doesn't look nice, so I surround it with @r{} and now the manpage
looks much better. Also, the PDF output inserts an extra space if a
newline follows the opening brace of @gccoptlist{}. I noticed other
problems that come from the script texi2pod.pl. @asis is not handled
properly, and some commands within @gccoptlist{} are not converted.

This patch fixes all this.

OK to commit? I was not sure whether this was trivial.

Manuel.


2007-10-01  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>

 * doc/invoke.texi (Wall): fix formatting issues.

contrib/
 * texi2pod.pl: Handle @asis.
 (postprocess): Move @gccoptlist{} after all formatting commands.

Attachment: fix-doc.diff
Description: Text document