update from texinfo
authorKarl Berry <karl@freefriends.org>
Wed, 28 Jul 2004 01:33:42 +0000 (01:33 +0000)
committerKarl Berry <karl@freefriends.org>
Wed, 28 Jul 2004 01:33:42 +0000 (01:33 +0000)
commit8bae0b0e7b69ebd8e9230f0825326cc09fb9ca66
treea1a70b4a57f2576f36b466d600ab83daa438ea50
parenta2379d2c536eb51aabe8f3fca3a5fa1a6dd20d96
update from texinfo
config/texinfo.tex