update from texinfo
authorKarl Berry <karl@freefriends.org>
Wed, 14 Apr 2004 15:24:45 +0000 (15:24 +0000)
committerKarl Berry <karl@freefriends.org>
Wed, 14 Apr 2004 15:24:45 +0000 (15:24 +0000)
commit9d6207719bb1269fc6580e396b2ac3e2f1810a34
treefcfc22c8c0da5db9511ea63a79fe6b8cd3650ad1
parent7f18e0f0e408f7cae3e99a689e5d7a4c0adada6a
update from texinfo
config/texinfo.tex