> Cc: bauerman@br.ibm.com, gdb-patches@sourceware.org > From: Tom Tromey <tromey@redhat.com> > Date: Tue, 17 Mar 2009 18:07:58 -0600 > > In that case I still think it makes sense to use @tindex, and then use > @syncodeindex to merge the indices. Fine with me.