* texinfo.tex: Update from gnulib.
commit0f5e0449960621d58f2b751078235f593530ebc5
authorPaul Eggert <eggert@cs.ucla.edu>
Wed, 4 Feb 2015 02:25:00 +0000 (3 18:25 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Wed, 4 Feb 2015 02:26:20 +0000 (3 18:26 -0800)
treeff633a48472e5a4c983452774f1ad6829b95bc7b
parent5b82ae859936ec786ffb7dbefb28500587c34e5a
* texinfo.tex: Update from gnulib.
doc/misc/ChangeLog
doc/misc/texinfo.tex