Some improvements in Texinfo markup:
authorRoland Pesch <pesch@cygnus>
Tue, 25 Aug 1992 20:56:41 +0000 (20:56 +0000)
committerRoland Pesch <pesch@cygnus>
Tue, 25 Aug 1992 20:56:41 +0000 (20:56 +0000)
commit899bafebe268819f608ecac4c7fae6e0da226160
treec5061004f99067a9e329b1c2f446035ed3ada017
parentc9715956fbf90286bb946b3082edb5239e9f04ba
Some improvements in Texinfo markup:

1) use makeinfo node defaulting
2) correct bad xref
3) use @display, @exdent,  etc. as first approximation to Julia's
   clever typewriter markup; **THIS WILL NEED STUDY AND REVISION**
4) introduce many nodes rather than ---- in "detailed reference" appendix
gdb/doc/stabs.texinfo