Tried allowing $Id: to appear in final output, but it confuses makeinfo
authorRoland Pesch <pesch@cygnus>
Wed, 24 Jul 1991 01:34:39 +0000 (01:34 +0000)
committerRoland Pesch <pesch@cygnus>
Wed, 24 Jul 1991 01:34:39 +0000 (01:34 +0000)
commit0e1b12ce0d699dca7b08604b948d673abf89eb57
tree20d09ea0b9a861aec8cfa9cd8b3f2fd52906ae3c
parent11902719680125174b24887bcc453008de6c32a0
Tried allowing $Id: to appear in final output, but it confuses makeinfo
(the texinfo comment appears inside a menu).  Revisit someday.
gdb/doc/gdbinv-m.m4