* doc/misc/texinfo.tex: Sync from gnulib.
commit9c2a1a264cf418fcf187b95b49fe986b32ceabef
authorPaul Eggert <eggert@cs.ucla.edu>
Fri, 13 May 2016 14:41:07 +0000 (13 07:41 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Fri, 13 May 2016 14:41:47 +0000 (13 07:41 -0700)
tree5c12cecae240caaabe372012250d9ef70ecf7ee0
parent66cd4d8bd031fb5cb1c65e3b008681021ea32906
* doc/misc/texinfo.tex: Sync from gnulib.
doc/misc/texinfo.tex