This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [0/4] RFC: add DWARF index support
> 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.