* texinfo.tex: Merge from gnulib.