projects
/
external
/
binutils.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
5757d35
)
add @finalout
author
David MacKenzie
<djm@cygnus>
Mon, 9 Aug 1993 20:23:53 +0000
(20:23 +0000)
committer
David MacKenzie
<djm@cygnus>
Mon, 9 Aug 1993 20:23:53 +0000
(20:23 +0000)
gdb/doc/stabs.texinfo
patch
|
blob
|
history
diff --git
a/gdb/doc/stabs.texinfo
b/gdb/doc/stabs.texinfo
index
09083eb
..
d0db48d
100644
(file)
--- a/
gdb/doc/stabs.texinfo
+++ b/
gdb/doc/stabs.texinfo
@@
-1,6
+1,8
@@
\input texinfo
@setfilename stabs.info
+@finalout
+
@ifinfo
@format
START-INFO-DIR-ENTRY