update from texinfo
authorKarl Berry <karl@freefriends.org>
Fri, 10 Jan 2003 17:06:18 +0000 (17:06 +0000)
committerKarl Berry <karl@freefriends.org>
Fri, 10 Jan 2003 17:06:18 +0000 (17:06 +0000)
commit5d9996a995e9f182b6d662cbe2ecdcb1aa4551d4
tree8d541ce3fca94b3c4ea42bc054b1a07ce8793a28
parentea50ac89b5659810e187414696ec3e45b09c1129
update from texinfo
config/texinfo.tex