* texinfo.tex: Merge from gnulib.
commit5087f097cd220a82eeeb69de4ef1c642714f3708
authorPaul Eggert <eggert@cs.ucla.edu>
Thu, 13 Sep 2012 07:28:15 +0000 (13 00:28 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Thu, 13 Sep 2012 07:28:15 +0000 (13 00:28 -0700)
tree5c19b7aaa643f1dc5a2b68fbb963cf197f4abf02
parent2c484e7585ab899ecea4caddf54b468556f3239d
* texinfo.tex: Merge from gnulib.
doc/misc/ChangeLog
doc/misc/texinfo.tex