From: Szabolcs Nagy Date: Mon, 15 Jan 2018 13:06:45 +0000 (+0000) Subject: Fix gdb.texinfo more X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d726cb5d3784f7ed96318a2214ea777a86f9faad;p=binutils-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 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