src/gnu/usr.bin/texinfo/texindex
