* doc/misc/texinfo.tex: Sync from gnulib.
commit03750c003511239576967387ea10000ce413200e
authorPaul Eggert <eggert@cs.ucla.edu>
Mon, 2 May 2016 00:58:42 +0000 (1 17:58 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Mon, 2 May 2016 00:59:04 +0000 (1 17:59 -0700)
tree7dec33d0e0b53a3ad4cc6986a00168008b14b9e9
parent42fed3b8b987975d0716e846f415805a4adc6304
* doc/misc/texinfo.tex: Sync from gnulib.
doc/misc/texinfo.tex