update from texinfo
authorKarl Berry <karl@freefriends.org>
Fri, 20 Aug 2004 13:25:14 +0000 (13:25 +0000)
committerKarl Berry <karl@freefriends.org>
Fri, 20 Aug 2004 13:25:14 +0000 (13:25 +0000)
commit90ef1db5dbbc08efd339b1fb7f46cd6fb7741b80
treef64c22aa09e562cc53b1db08df21c10fea4ad819
parent44785370492898b52627353934b3be0c233f728b
update from texinfo
config/texinfo.tex