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 1228f38e0dc59871c4c62cb7377d1382b9ab913e..375f24dabb3e2cd206f425d013c10298ec3a8987 100644 (file)
--- a/gdb/doc/ChangeLog
+++ b/gdb/doc/ChangeLog
@@ -1,3 +1,7 @@
+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.

diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
index 75789a27c21738fe46b5687455370709289ee12b..9ddfba504c41d61632339204b33de84ba7b511d8 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