* gdb.texinfo (Protocol): Prevent makeinfo from complaining about
authorEli Zaretskii <eliz@gnu.org>
Mon, 17 Apr 2000 10:42:13 +0000 (10:42 +0000)
committerEli Zaretskii <eliz@gnu.org>
Mon, 17 Apr 2000 10:42:13 +0000 (10:42 +0000)
commit00e4a2e45550844a9d584f9fd3a8ee9e2ce23133
tree60affa57088bacbd6d27c6c71f4b24d15465a567
parent5398f6784fa3b1ac29c11265d68a91fa445ef2f5
* gdb.texinfo (Protocol): Prevent makeinfo from complaining about
a comma inside @var.
(Command Files): Index markup changes from Dmitry Sivachenko
<dima@Chg.RU>.
gdb/doc/ChangeLog
gdb/doc/gdb.texinfo