From d726cb5d3784f7ed96318a2214ea777a86f9faad Mon Sep 17 00:00:00 2001 From: Szabolcs Nagy Date: Mon, 15 Jan 2018 13:06:45 +0000 Subject: [PATCH] Fix gdb.texinfo more Add incorrectly removed @pindex back. gdb/doc/ChangeLog: * gdb.texinfo (gdb-add-index man): Add pindex. --- gdb/doc/ChangeLog | 4 ++++ gdb/doc/gdb.texinfo | 1 + 2 files changed, 5 insertions(+) diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog index 1228f38e0dc..375f24dabb3 100644 --- a/gdb/doc/ChangeLog +++ b/gdb/doc/ChangeLog @@ -1,3 +1,7 @@ +2018-01-15 Szabolcs Nagy + + * gdb.texinfo (gdb-add-index man): Add pindex. + 2018-01-15 Szabolcs Nagy * gdb.texinfo (set cwd): Add period. diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo index 75789a27c21..9ddfba504c4 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 -- 2.30.2