htmlxref.d/
info-hooks/
texindex.awk
texinfo.dtd