Fix gdb.texinfo more

Add incorrectly removed @pindex back.

gdb/doc/ChangeLog:

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

(cherry picked from commit d726cb5d3784f7ed96318a2214ea777a86f9faad)

diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog
index c15b1fd2c523925ef46cd68f1aaf0d70ba4e88a1..9c94b03f698a5c2cedd6c55483b4aa8e2a6ab1a4 100644 (file)
--- a/gdb/doc/ChangeLog
+++ b/gdb/doc/ChangeLog
@@ -1,3 +1,8 @@
+2018-01-15  Szabolcs Nagy  <szabolcs.nagy@arm.com>
+
+       PR binutils/23156
+       * gdb.texinfo (gdb-add-index man): Add pindex.
+
 2018-01-15  Szabolcs Nagy  <szabolcs.nagy@arm.com>
 
        PR binutils/23156

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