* texinfo.tex: Update from gnulib.
authorPaul Eggert <eggert@cs.ucla.edu>
Wed, 12 Feb 2014 22:09:31 +0000 (14:09 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Wed, 12 Feb 2014 22:09:31 +0000 (14:09 -0800)
commit45432fd9d137857c3207176a1b2d92600febc25d
tree53f485ef96d569e4ef5adf9a1567613cf5b204d9
parent2baa4c05af10ffb285054dcb751120d44f5ff311
* texinfo.tex: Update from gnulib.
doc/misc/ChangeLog
doc/misc/texinfo.tex