* docs/texinfo.tex: Update from ftp.gnu.org.
2 files changed