update from texinfo
authorKarl Berry <karl@freefriends.org>
Fri, 27 Sep 2002 20:19:45 +0000 (20:19 +0000)
committerKarl Berry <karl@freefriends.org>
Fri, 27 Sep 2002 20:19:45 +0000 (20:19 +0000)
commit3587d7fdd9b91f8e408f5a4b58943e35db3857c1
tree232a0ad99d24becd3b6730cb6b071c8b55a94f46
parenteea3efe8b5a8ab69fed4322f753e2177cf0a971c
update from texinfo
config/texinfo.tex