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

Eli Zaretskii
2010-07-10T07:03:38Z

> From: Tom Tromey <tromey@redhat.com>
> Cc: gdb-patches@sourceware.org
> Date: Fri, 09 Jul 2010 14:26:47 -0600
>
> >>>>> "Eli" == Eli Zaretskii <eliz@gnu.org> writes:
>
> Eli> OK, but I would suggest to add an index entry for gdb-add-index.
>
> Thanks, good idea.
> I added:
>
> @kindex gdb-add-index

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

Thanks.