diff options
| author | Joseph Myers <jsm28@cam.ac.uk> | 2001-06-09 19:03:11 +0100 |
|---|---|---|
| committer | Joseph Myers <jsm28@gcc.gnu.org> | 2001-06-09 19:03:11 +0100 |
| commit | 2a008da43429a550f60eeaee852857387a406e44 (patch) | |
| tree | 868205aa8394b4ca061093458ef89b7495a9e647 /libjava/java/util/Observer.java | |
| parent | 3478885a5e88aa02aaec632f49fdd7d0fae3e27c (diff) | |
| download | gcc-2a008da43429a550f60eeaee852857387a406e44.zip gcc-2a008da43429a550f60eeaee852857387a406e44.tar.gz gcc-2a008da43429a550f60eeaee852857387a406e44.tar.bz2 | |
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
Diffstat (limited to 'libjava/java/util/Observer.java')
0 files changed, 0 insertions, 0 deletions