doc: Use a recent texinfo.tex.