History doc/texinfo.tex