* gdbmi.texinfo: Change flathead -> @sc{gdb/mi}.
authorEli Zaretskii <eliz@gnu.org>
Wed, 23 Aug 2000 09:15:25 +0000 (09:15 +0000)
committerEli Zaretskii <eliz@gnu.org>
Wed, 23 Aug 2000 09:15:25 +0000 (09:15 +0000)
commit1c85fbd95c712d847bb741ed49572b28327adeed
treed6f85481daac2099b12e98ba9cb48c3dbdf1ed46
parent371e71b8de9fd2132752ff8b677627c97ac7c8be
* gdbmi.texinfo: Change flathead -> @sc{gdb/mi}.
Fix typos and markup mistakes (from Dmitry S.
Sivachenko <dima@Chg.RU>).
gdb/mi/ChangeLog
gdb/mi/gdbmi.texinfo