update from texinfo
authorKarl Berry <karl@freefriends.org>
Mon, 28 Jul 2003 18:42:31 +0000 (18:42 +0000)
committerKarl Berry <karl@freefriends.org>
Mon, 28 Jul 2003 18:42:31 +0000 (18:42 +0000)
commit0fa0fa67743cf6369156cb87952bd97a86714bc2
treef20372b4cce63fd9bce32bbbe7edb9485fa2cfeb
parent947e7f9e5bccb835c1d62912a616c5abab05e8ab
update from texinfo
config/texinfo.tex