update from texinfo
authorKarl Berry <karl@freefriends.org>
Wed, 23 Oct 2002 00:20:40 +0000 (00:20 +0000)
committerKarl Berry <karl@freefriends.org>
Wed, 23 Oct 2002 00:20:40 +0000 (00:20 +0000)
commitfbc09befbd580e080e1d9ea4d771356f754bcb9a
treea2bd374490a9d264f5402003fe8672bcf1739643
parentfad9d3d65b9bd0d6f1a076d097a25a7d5fa0d0ba
update from texinfo
config/texinfo.tex