aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSzabolcs Nagy <szabolcs.nagy@arm.com>2018-01-15 13:06:45 +0000
committerSzabolcs Nagy <szabolcs.nagy@arm.com>2018-01-15 13:28:25 +0000
commitd726cb5d3784f7ed96318a2214ea777a86f9faad (patch)
treece975954163466fe14563a7e49d01da0cc688e89
parent616dcb87abe148edf7278581e04cf23aff97411e (diff)
downloadgdb-d726cb5d3784f7ed96318a2214ea777a86f9faad.zip
gdb-d726cb5d3784f7ed96318a2214ea777a86f9faad.tar.gz
gdb-d726cb5d3784f7ed96318a2214ea777a86f9faad.tar.bz2
Fix gdb.texinfo more
Add incorrectly removed @pindex back. gdb/doc/ChangeLog: * gdb.texinfo (gdb-add-index man): Add pindex.
-rw-r--r--gdb/doc/ChangeLog4
-rw-r--r--gdb/doc/gdb.texinfo1
2 files changed, 5 insertions, 0 deletions
diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog
index 1228f38..375f24d 100644
--- a/gdb/doc/ChangeLog
+++ b/gdb/doc/ChangeLog
@@ -1,5 +1,9 @@
2018-01-15 Szabolcs Nagy <szabolcs.nagy@arm.com>
+ * gdb.texinfo (gdb-add-index man): Add pindex.
+
+2018-01-15 Szabolcs Nagy <szabolcs.nagy@arm.com>
+
* gdb.texinfo (set cwd): Add period.
(gdb-add-index man): Move anchor.
diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
index 75789a2..9ddfba5 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