update from texinfo
authorKarl Berry <karl@freefriends.org>
Mon, 28 Jul 2003 00:00:37 +0000 (00:00 +0000)
committerKarl Berry <karl@freefriends.org>
Mon, 28 Jul 2003 00:00:37 +0000 (00:00 +0000)
commit947e7f9e5bccb835c1d62912a616c5abab05e8ab
treec77626aad51898c5a80925542cd2d17158584b59
parent572ca05661319aeaef3de1afa9ec1e8c91e6acd4
update from texinfo
config/texinfo.tex