diff options
| -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 |