update from texinfo
authorKarl Berry <karl@freefriends.org>
Fri, 17 Jan 2003 17:22:27 +0000 (17:22 +0000)
committerKarl Berry <karl@freefriends.org>
Fri, 17 Jan 2003 17:22:27 +0000 (17:22 +0000)
commit67c16945c7be13d5c7b7123cb4fd0933833ca5c1
tree2f0f565eebb7561cefd75c7798a696c6df56d328
parent98756231633580c78ed81d0c06534cb6936d6645
update from texinfo
config/texinfo.tex