update from texinfo
authorKarl Berry <karl@freefriends.org>
Tue, 6 Jan 2004 00:53:39 +0000 (00:53 +0000)
committerKarl Berry <karl@freefriends.org>
Tue, 6 Jan 2004 00:53:39 +0000 (00:53 +0000)
commit99d2f6e4277351d8cbc5d3dc939841ccbfa6bcee
treee819a4c6cc7607688a34fbf034c6e7f02d408240
parentd2192457e584a9e03df4a5fefd91b2ce4612deaa
update from texinfo
config/texinfo.tex