Re: [0/4] RFC: add DWARF index support

Tom Tromey
2010-07-12T16:52:29Z

>>>>> "Eli" == Eli Zaretskii <eliz@gnu.org> writes:

>> @kindex gdb-add-index

Eli> Not that it matters with the current arrangement (only one Index
Eli> section), but it's better to use @pindex, since this is an external
Eli> program. Either that, or "@cindex @command{gdb-add-index}".

Thanks, I changed it to use @pindex.

Tom