Remove unneeded texinfo.tex.