update from texinfo
authorKarl Berry <karl@freefriends.org>
Wed, 8 Jan 2003 22:47:05 +0000 (22:47 +0000)
committerKarl Berry <karl@freefriends.org>
Wed, 8 Jan 2003 22:47:05 +0000 (22:47 +0000)
commit690ed7e424269456c3c9b9a6b1011722036906bd
treea7d35efdee0d0d6b1c6e9cbd63f91bc19a3fa48b
parentd7c8adf35e121ff32f535c21806c4846e860054f
update from texinfo
config/texinfo.tex