Merge from gnulib
commit4be98d812563ec40fe5186b06fc6da9b3c36ea03
authorPaul Eggert <eggert@cs.ucla.edu>
Thu, 30 Apr 2015 15:48:53 +0000 (30 08:48 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Thu, 30 Apr 2015 15:49:13 +0000 (30 08:49 -0700)
tree063fa33f48e7ace722714a648eddeff82042d2c8
parentf4ad42936e0b83caca91389a977d7258b69ed40a
Merge from gnulib

* doc/misc/texinfo.tex: Update from gnulib.
doc/misc/texinfo.tex