>>>>> "Eli" == Eli Zaretskii <eliz@gnu.org> writes: >> +@tindex gdb.Frame >> +@tindex Frame Eli> Please don't use @tindex, we don't use such an index in the GDB Eli> manual. Now that we have documentation describing types, it seems like we ought to add a type index. Tom