diff options
Diffstat (limited to 'gdb/doc/stabs.texinfo')
-rw-r--r-- | gdb/doc/stabs.texinfo | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gdb/doc/stabs.texinfo b/gdb/doc/stabs.texinfo index 15c4152367e..c4ea03767b7 100644 --- a/gdb/doc/stabs.texinfo +++ b/gdb/doc/stabs.texinfo @@ -3,6 +3,10 @@ @setchapternewpage odd @settitle STABS +@c man begin INCLUDE +@include gdb-cfg.texi +@c man end + @c @finalout @c This is a dir.info fragment to support semi-automated addition of |