Merge from gnulib, incorporating:
authorPaul Eggert <eggert@cs.ucla.edu>
Mon, 30 Jul 2012 06:07:22 +0000 (23:07 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Mon, 30 Jul 2012 06:07:22 +0000 (23:07 -0700)
commitdc5493f11d93f4a97ebc37dac5df286746496bf8
tree2080a4278179fd5700569c123c8ebde3cc07aef0
parent03a660a609328ce854721de7ba403f6725ab4ace
Merge from gnulib, incorporating:

* doc/misc/texinfo.tex: Update to 2012-07-29.17 version.
ChangeLog
doc/misc/texinfo.tex