projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3478885) | patch
gcc.texi: Use @defcodeindex for the index of options.
authorJoseph Myers <jsm28@cam.ac.uk>
Sat, 9 Jun 2001 18:03:11 +0000 (19:03 +0100)
committerJoseph Myers <jsm28@gcc.gnu.org>
Sat, 9 Jun 2001 18:03:11 +0000 (19:03 +0100)
commit2a008da43429a550f60eeaee852857387a406e44
tree868205aa8394b4ca061093458ef89b7495a9e647tree
parent3478885a5e88aa02aaec632f49fdd7d0fae3e27ccommit | diff
gcc.texi: Use @defcodeindex for the index of options.

* doc/gcc.texi: Use @defcodeindex for the index of options.  Add
more index entries.  Use more logical markup where appropriate.
Use TeX quotes and dashes.

From-SVN: r43089
gcc/ChangeLog diff | blob | history
gcc/doc/gcc.texi diff | blob | history