update from texinfo
authorKarl Berry <karl@freefriends.org>
Thu, 24 Jul 2003 00:40:07 +0000 (00:40 +0000)
committerKarl Berry <karl@freefriends.org>
Thu, 24 Jul 2003 00:40:07 +0000 (00:40 +0000)
commitfb8a659b24a24f728733ebb5b8f184b7796a6c8a
treeac26de0a8a9cd857f7c8cfd0a460b46ed74684f5
parent26d80dc2920a6653490553256a39a174d3cc2852
update from texinfo
config/texinfo.tex