Merge from gnulib
This mostly just updates copyright dates of gnulib files. It also updates to the latest version of texinfo.tex.
Showing
This mostly just updates copyright dates of gnulib files. It also updates to the latest version of texinfo.tex.