* gdb.texinfo (main menu): Add Annotations.
authorEli Zaretskii <eliz@gnu.org>
Thu, 16 Mar 2000 11:40:53 +0000 (11:40 +0000)
committerEli Zaretskii <eliz@gnu.org>
Thu, 16 Mar 2000 11:40:53 +0000 (11:40 +0000)
commitd700128cda7cea41cb25442cdc4f61620ad4152b
treeaa30df39143d65feff928555b8eb12cbb0ca9e98
parent2c33cc30aa37595d83a5d4fbdd5b4e05ef936fa5
* gdb.texinfo (main menu): Add Annotations.
(File Options): Add @cindex entries for each command-line option.
Document --epoch, --annotate, --async, --interpreter, --write,
--statistics, and --version.

* annotate.texi: Convert to a chapter.  Use @value{GDBN} instead
of GDB.
gdb/doc/ChangeLog
gdb/doc/annotate.texi
gdb/doc/gdb.texinfo