From: Szabolcs Nagy <szabolcs.nagy@arm.com>
Date: Mon, 15 Jan 2018 13:06:45 +0000 (+0000)
Subject: Fix gdb.texinfo more
X-Git-Url: http://git.efficios.com/?a=commitdiff_plain;h=d726cb5d3784f7ed96318a2214ea777a86f9faad;p=deliverable%2Fbinutils-gdb.git

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 1228f38e0d..375f24dabb 100644
--- 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 75789a27c2..9ddfba504c 100644
--- 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