update from texinfo
authorKarl Berry <karl@freefriends.org>
Sun, 30 Nov 2003 23:07:49 +0000 (23:07 +0000)
committerKarl Berry <karl@freefriends.org>
Sun, 30 Nov 2003 23:07:49 +0000 (23:07 +0000)
commit501444464f31564fc20c3dc266e3a778cba64a24
treef75543f2aa475c043776a07b2e1ca628dbe40108
parentbdfb51006347f38ceebf47b653d40c151c8e66c3
update from texinfo
config/texinfo.tex