update from texinfo
authorKarl Berry <karl@freefriends.org>
Thu, 9 Oct 2003 13:29:49 +0000 (13:29 +0000)
committerKarl Berry <karl@freefriends.org>
Thu, 9 Oct 2003 13:29:49 +0000 (13:29 +0000)
commitf0e1f0b860135ecbded3c1e55487c36adc0cfc71
tree7542469492144f10339030f96ba4e0fa2a18a123
parenta016482aac34e18ed0acfffe714dd130fab07d08
update from texinfo
config/texinfo.tex