Fix gdb.texinfo more
authorSzabolcs Nagy <szabolcs.nagy@arm.com>
Mon, 15 Jan 2018 13:06:45 +0000 (13:06 +0000)
committerSzabolcs Nagy <szabolcs.nagy@arm.com>
Mon, 15 Jan 2018 13:28:25 +0000 (13:28 +0000)
commitd726cb5d3784f7ed96318a2214ea777a86f9faad
treece975954163466fe14563a7e49d01da0cc688e89
parent616dcb87abe148edf7278581e04cf23aff97411e
Fix gdb.texinfo more

Add incorrectly removed @pindex back.

gdb/doc/ChangeLog:

* gdb.texinfo (gdb-add-index man): Add pindex.
gdb/doc/ChangeLog
gdb/doc/gdb.texinfo
This page took 0.024992 seconds and 4 git commands to generate.