usr/share/texinfo/
usr/share/texinfo/htmlxref.cnf
usr/share/texinfo/texinfo.dtd
usr/share/texinfo/texindex.awk
