Sync from texinfo.
authorPaul Eggert <eggert@cs.ucla.edu>
Wed, 6 Jul 2005 22:52:26 +0000 (22:52 +0000)
committerPaul Eggert <eggert@cs.ucla.edu>
Wed, 6 Jul 2005 22:52:26 +0000 (22:52 +0000)
commiteb882630d026aa3ede45f1e4f212b5dba7fe3e14
treed87add0c7166b41f0e2034bc42987f0f16698e85
parentabe574726d366cedfb5a58484fd3a102b587323c
Sync from texinfo.
build-aux/texinfo.tex