diff options
-rw-r--r-- | gdb/doc/gdb.texinfo | 2 | ||||
-rw-r--r-- | gdb/doc/stabs.texinfo | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo index 60d1e4e..0970c9b 100644 --- a/gdb/doc/gdb.texinfo +++ b/gdb/doc/gdb.texinfo @@ -45,7 +45,7 @@ @c manuals to an info tree. zoo@cygnus.com is developing this facility. @format START-INFO-DIR-ENTRY -* Gdb:: The GNU debugger. +* Gdb: (gdb). The GNU debugger. END-INFO-DIR-ENTRY @end format @end ifinfo 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 |