[DOC] fix formatting problems in invoke.texi

[Gerald Pfeifer]

On Mon, 1 Oct 2007, Manuel López-Ibáñez wrote:
> 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.

That sounds fair.

> Also, the PDF output inserts an extra space if a newline follows the 
> opening brace of @gccoptlist{}.

As well as that.  Let's go for these two.

:REVIEWPATCH:

> I noticed other problems that come from the script texi2pod.pl. @asis is 
> not handled properly, and some commands within @gccoptlist{} are not 
> converted.

For this aspect, I'd prefer Joseph to chime in.

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

Thanks,
Gerald
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: fix-doc.diff
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20071006/e939152f/attachment.ksh>