removed texinfo.tex -- where did that come from?