[GiNaC-devel] Please remove texinfo.tex from CVS.