update from texinfo
authorKarl Berry <karl@freefriends.org>
Thu, 24 Jul 2003 00:42:09 +0000 (00:42 +0000)
committerKarl Berry <karl@freefriends.org>
Thu, 24 Jul 2003 00:42:09 +0000 (00:42 +0000)
commitf2962a5f4692faed33b829170cd16ae9f5088149
tree59e6150067cbb134731f002279b3b32d9b07e112
parentfb8a659b24a24f728733ebb5b8f184b7796a6c8a
update from texinfo
config/texinfo.tex