update from texinfo
authorKarl Berry <karl@freefriends.org>
Wed, 8 Oct 2003 12:01:28 +0000 (12:01 +0000)
committerKarl Berry <karl@freefriends.org>
Wed, 8 Oct 2003 12:01:28 +0000 (12:01 +0000)
commit66682319e726f004904626b39cda7d4a7d2f269d
tree6ee0dafc8214d08e7fd812aac757786d306b5716
parent93abe6fc4218eb6d26cf9274e0d8aca8b67e6165
update from texinfo
config/texinfo.tex