update from texinfo
authorKarl Berry <karl@freefriends.org>
Mon, 19 Jan 2004 15:02:31 +0000 (15:02 +0000)
committerKarl Berry <karl@freefriends.org>
Mon, 19 Jan 2004 15:02:31 +0000 (15:02 +0000)
commit4726d60ed9ee70d4ad64bbc3171e66955875e947
treef8e06ad360b91807fccc60fc29c5bbaf21c611d0
parent200349ba2991288e34a124c9755310fefd9dd103
update from texinfo
config/texinfo.tex