update from texinfo
authorKarl Berry <karl@freefriends.org>
Fri, 27 Aug 2004 14:00:51 +0000 (14:00 +0000)
committerKarl Berry <karl@freefriends.org>
Fri, 27 Aug 2004 14:00:51 +0000 (14:00 +0000)
commite693283e7f853a51c108660e7c51e1cbad649c71
treefecb596a35c3ce815f353fbaf23e2de7f145f35d
parent90ef1db5dbbc08efd339b1fb7f46cd6fb7741b80
update from texinfo
config/texinfo.tex