Fix gdb.texinfo more

Add incorrectly removed @pindex back.

gdb/doc/ChangeLog:

	* gdb.texinfo (gdb-add-index man): Add pindex.

diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog
index 1228f38..375f24d 100644 (file)
--- a/gdb/doc/ChangeLog
+++ b/gdb/doc/ChangeLog
@@ -1,5 +1,9 @@
 2018-01-15  Szabolcs Nagy  <szabolcs.nagy@arm.com>
 
+       * gdb.texinfo (gdb-add-index man): Add pindex.
+
+2018-01-15  Szabolcs Nagy  <szabolcs.nagy@arm.com>
+
        * gdb.texinfo (set cwd): Add period.
        (gdb-add-index man): Move anchor.
 

diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
index 75789a2..9ddfba5 100644 (file)
--- a/gdb/doc/gdb.texinfo
+++ b/gdb/doc/gdb.texinfo
@@ -43442,6 +43442,7 @@ Richard M. Stallman and Roland H. Pesch, July 1991.
 
 @node gdb-add-index man
 @heading gdb-add-index
+@pindex gdb-add-index
 @anchor{gdb-add-index}
 
 @c man title gdb-add-index Add index files to speed up GDB