From 51dcdc52bb8d94d213687d7015c3a234e3dd9cf9 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. (cherry picked from commit d726cb5d3784f7ed96318a2214ea777a86f9faad) --- gdb/doc/ChangeLog | 5 +++++ gdb/doc/gdb.texinfo | 1 + 2 files changed, 6 insertions(+) diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog index c15b1fd2c52..9c94b03f698 100644 --- a/gdb/doc/ChangeLog +++ b/gdb/doc/ChangeLog @@ -1,3 +1,8 @@ +2018-01-15 Szabolcs Nagy + + PR binutils/23156 + * gdb.texinfo (gdb-add-index man): Add pindex. + 2018-01-15 Szabolcs Nagy PR binutils/23156 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.47.2