[committed] Fix gdb.texinfo more

Szabolcs Nagy
2018-01-15T13:32:28Z

[-- Attachment #1: Type: text/plain, Size: 242 bytes --]

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.

[-- Attachment #2: a.diff --]
[-- Type: text/x-patch, Size: 379 bytes --]

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