update from texinfo
authorKarl Berry <karl@freefriends.org>
Sat, 11 Jan 2003 23:32:24 +0000 (23:32 +0000)
committerKarl Berry <karl@freefriends.org>
Sat, 11 Jan 2003 23:32:24 +0000 (23:32 +0000)
commita6b93bff6e61491188f9066212aba9045d51ac2f
tree2afedc6cfb75bbd1a7afc96b389eb105dfcca99f
parent6e0c9a99ac662dd811105992a9c9f5f611569590
update from texinfo
config/texinfo.tex