diff options
| author | Szabolcs Nagy <szabolcs.nagy@arm.com> | 2018-01-15 13:06:45 +0000 |
|---|---|---|
| committer | Szabolcs Nagy <szabolcs.nagy@arm.com> | 2018-01-15 13:28:25 +0000 |
| commit | d726cb5d3784f7ed96318a2214ea777a86f9faad (patch) | |
| tree | ce975954163466fe14563a7e49d01da0cc688e89 /gdb/doc | |
| parent | 616dcb87abe148edf7278581e04cf23aff97411e (diff) | |
| download | gdb-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.
Diffstat (limited to 'gdb/doc')
| -rw-r--r-- | gdb/doc/ChangeLog | 4 | ||||
| -rw-r--r-- | gdb/doc/gdb.texinfo | 1 |
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 |