diff options
Diffstat (limited to 'gdb/doc/stabs.texinfo')
-rw-r--r-- | gdb/doc/stabs.texinfo | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gdb/doc/stabs.texinfo b/gdb/doc/stabs.texinfo index 9fe48a9..4628259 100644 --- a/gdb/doc/stabs.texinfo +++ b/gdb/doc/stabs.texinfo @@ -6,7 +6,7 @@ @ifinfo @format START-INFO-DIR-ENTRY -* Stabs:: The "stabs" debugging information format. +* Stabs: (stabs). The "stabs" debugging information format. END-INFO-DIR-ENTRY @end format @end ifinfo |