update from texinfo
authorKarl Berry <karl@freefriends.org>
Mon, 28 Apr 2003 17:59:58 +0000 (17:59 +0000)
committerKarl Berry <karl@freefriends.org>
Mon, 28 Apr 2003 17:59:58 +0000 (17:59 +0000)
commit36ac5163cc0dfa69a6a9a3ae9d2b5162c7654497
treee0b8533496d1353ad8bc8617b6003cdd6b96b861
parentddfcdce2b87045c9ea5785117c775431554a0610
update from texinfo
config/texinfo.tex