update from texinfo
authorKarl Berry <karl@freefriends.org>
Thu, 31 Jul 2003 12:40:42 +0000 (12:40 +0000)
committerKarl Berry <karl@freefriends.org>
Thu, 31 Jul 2003 12:40:42 +0000 (12:40 +0000)
commit2846c679ac02ce86912f50472aa1a362b505f893
treeccb55db803f179caaac553cb1699ab2c132a1fc2
parentd2e7a86acfd1aaed30edc0772d9ef13ce728d814
update from texinfo
config/texinfo.tex