Tiny bugfix for makeinfo.
authorJohn Gilmore <gnu@cygnus>
Wed, 2 Sep 1992 09:32:27 +0000 (09:32 +0000)
committerJohn Gilmore <gnu@cygnus>
Wed, 2 Sep 1992 09:32:27 +0000 (09:32 +0000)
commit9cd64d11be906e0f72131a4ea9ea61731b77fbe2
treeb1906939270bc5de9619427e296458143875c5e5
parent30fd86193e53f9004181ab8a921700fd11360541
Tiny bugfix for makeinfo.
gdb/doc/stabs.texinfo