Update texinfo.tex
commit37887dd0f078ca02487251ec71ff04e21c7c3ab0
authorPaul Eggert <eggert@cs.ucla.edu>
Mon, 13 Jun 2016 17:04:11 +0000 (13 10:04 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Mon, 13 Jun 2016 17:05:00 +0000 (13 10:05 -0700)
tree6a312c486a47bccb32b8f2b690c449ad952cbcf9
parentab182c624868fcc0ed97597db669911099d4bd28
Update texinfo.tex

* doc/misc/texinfo.tex: Update from gnulib.
doc/misc/texinfo.tex