diff options
| author | David MacKenzie <djm@cygnus> | 1993-08-09 20:23:53 +0000 |
|---|---|---|
| committer | David MacKenzie <djm@cygnus> | 1993-08-09 20:23:53 +0000 |
| commit | a9ded3ac7fb23b2c33ca2e51532b0082d85125f3 (patch) | |
| tree | 71d7d2a0db9cbbb1a57d92136a6cfe98d5167944 /gdb/doc | |
| parent | 5757d35bba59091818669283b6255d7f78e41811 (diff) | |
| download | gdb-a9ded3ac7fb23b2c33ca2e51532b0082d85125f3.zip gdb-a9ded3ac7fb23b2c33ca2e51532b0082d85125f3.tar.gz gdb-a9ded3ac7fb23b2c33ca2e51532b0082d85125f3.tar.bz2 | |
add @finalout
Diffstat (limited to 'gdb/doc')
| -rw-r--r-- | gdb/doc/stabs.texinfo | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gdb/doc/stabs.texinfo b/gdb/doc/stabs.texinfo index 09083eb..d0db48d 100644 --- 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 |