[committed] Fix gdb.texinfo more

Message ID 5A5CAD51.80409@arm.com
State New, archived
Headers

Commit Message

Szabolcs Nagy Jan. 15, 2018, 1:32 p.m. UTC
  On 15/01/18 12:58, Eli Zaretskii wrote:
> Yes, @pindex should be below @heading.

Add incorrectly removed @pindex back.

gdb/doc/ChangeLog:
2018-01-15  Szabolcs Nagy  <szabolcs.nagy@arm.com>

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

Patch

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