* texinfo.tex: Merge from gnulib.
authorPaul Eggert <eggert@cs.ucla.edu>
Wed, 12 Sep 2012 14:03:15 +0000 (07:03 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Wed, 12 Sep 2012 14:03:15 +0000 (07:03 -0700)
commit44677e307235c9c0f58a78d6af56b8bb2750e939
tree18f7706cd9a4565b3b6434405296927fdfa6cd47
parent60c49c0fe92cde4e9f4d2db0ee15e55b7c7aa1cb
* texinfo.tex: Merge from gnulib.
doc/misc/ChangeLog
doc/misc/texinfo.tex