* texinfo.tex: Update from gnulib.