update from texinfo
authorKarl Berry <karl@freefriends.org>
Wed, 24 Sep 2003 17:51:55 +0000 (17:51 +0000)
committerKarl Berry <karl@freefriends.org>
Wed, 24 Sep 2003 17:51:55 +0000 (17:51 +0000)
commit15d54fa1414749c52fc7b6201b541f6d5ee50544
treef6b02664d2ec7e55a8de623174f32429b93679c3
parent04c8d4d02e81e631fa6073f074ae410362ea0c47
update from texinfo
config/texinfo.tex