projects / binutils-gdb.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 5757d35)
add @finalout
authorDavid MacKenzie <djm@cygnus>
Mon, 9 Aug 1993 20:23:53 +0000 (20:23 +0000)
committerDavid 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 09083eb1772a572ce341f7032de8ec0a6f231bca..d0db48d4e0ea0f7304820b08e3cec1545b4a6094 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