Update texinfo.tex.