* gdbmi.texinfo: Change GDB -> @value{GDBN}, and
authorEli Zaretskii <eliz@gnu.org>
Mon, 24 Jul 2000 06:09:49 +0000 (06:09 +0000)
committerEli Zaretskii <eliz@gnu.org>
Mon, 24 Jul 2000 06:09:49 +0000 (06:09 +0000)
commite7997b74f5b7645ca895ff4007cdec3ee9484842
treee7cb4c73c2742bfdac2739f8cf5ced175095658e
parent8caabe694ff79ac1c96df1af645cec84001870d6
* gdbmi.texinfo: Change GDB -> @value{GDBN}, and
(gdb) -> (@value{GDBP}).  Fix a few typos and some markup.  From
Dmitry S. Sivachenko <dima@Chg.RU>.
gdb/mi/ChangeLog
gdb/mi/gdbmi.texinfo