gcc.texi, [...]: Add index of command line options.
authorJoseph Myers <jsm28@cam.ac.uk>
Fri, 8 Jun 2001 19:42:28 +0000 (20:42 +0100)
committerJoseph Myers <jsm28@gcc.gnu.org>
Fri, 8 Jun 2001 19:42:28 +0000 (20:42 +0100)
commitcd3bb27790771150d4ab39e5b3b0094bafe0cd19
tree0adad3721c3db479eead6125fd982afcb2f534c4
parent4c399c87ef6c1ad926fc039b89dff307119f7856
gcc.texi, [...]: Add index of command line options.

* doc/gcc.texi, doc/invoke.texi: Add index of command line
options.  Use @opindex to index them rather than other indexing
commands.  Use @var{...} instead of <...>.  Avoid spaces in names
inside @var.  Don't use @kindex to index escape sequences in
source code.

From-SVN: r43041
gcc/ChangeLog
gcc/doc/gcc.texi
gcc/doc/invoke.texi