Update texinfo.tex
commit2f58c503dd8acd3429469d76d04976a9017b87e3
authorPaul Eggert <eggert@cs.ucla.edu>
Thu, 26 May 2016 20:49:26 +0000 (26 13:49 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Thu, 26 May 2016 20:49:43 +0000 (26 13:49 -0700)
tree44742b8137c0b48dde12f6030da0070a78c404cd
parenta6860c56aa9fa1c5d2e8feb621d447f4365f1971
Update texinfo.tex

This fixes Bug#23611 in a different (and presumably better) way.
* doc/misc/texinfo.tex: Update from gnulib.
doc/misc/texinfo.tex