* texinfo.tex: Merge from gnulib.
authorPaul Eggert <eggert@cs.ucla.edu>
Mon, 12 Nov 2012 03:10:51 +0000 (19:10 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Mon, 12 Nov 2012 03:10:51 +0000 (19:10 -0800)
commit31f47fbaead299941c22a133ed7e2928c7b1273e
tree38e0f5b8f44e43bf17a455cb2b9c84d1f8640387
parent12cc43375014a952bf5a62e6981f1e45a28dded4
* texinfo.tex: Merge from gnulib.
doc/misc/ChangeLog
doc/misc/texinfo.tex