update from texinfo
authorKarl Berry <karl@freefriends.org>
Thu, 24 Jul 2003 15:07:08 +0000 (15:07 +0000)
committerKarl Berry <karl@freefriends.org>
Thu, 24 Jul 2003 15:07:08 +0000 (15:07 +0000)
commitd99ea0ede3a7f0f802c1fed63ccf0184a5f5d26e
tree454d1b2aaffcb3a2a06c0105beb099249912c4ae
parent90e59c93790be6d205557abab31486f195094967
update from texinfo
config/texinfo.tex