* doc/misc/texinfo.tex: Update to 2012-07-29.17 version.
Attach a file by drag & drop or click to upload
