[patch, docs] Document --help=<language> option (PR 31355)

Brooks Moses brooks.moses@codesourcery.com
Mon Mar 26 00:48:00 GMT 2007

This patch documents the --help=<language> option.

It also fixes the fact that @var{} was erroneously used for literal 
values in the existing --help= documentation, and @gcctabopt was 
erroneously used for tables within the option listing.

2007-03-25  Brooks Moses  <brooks.moses@codesourcery.com>

	* doc/invoke.texi (--help=): Document <languages> value, fix
	formatting in tables of values.


Tested with "make info" and "make pdf" on i686-pc-linux-gnu.  Ok for trunk?

- Brooks
-------------- next part --------------
A non-text attachment was scrubbed...
Name: help-language-doc.diff
Type: text/x-patch
Size: 2175 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20070326/8bfcc81e/attachment.bin>

More information about the Gcc-patches mailing list