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

Tom Tromey
2010-07-09T20:26:56Z

>>>>> "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

Tom