config/texinfo.tex
doc/standards.texi