update from texinfo
authorKarl Berry <karl@freefriends.org>
Mon, 24 Mar 2003 14:08:00 +0000 (14:08 +0000)
committerKarl Berry <karl@freefriends.org>
Mon, 24 Mar 2003 14:08:00 +0000 (14:08 +0000)
commitd550f2057b389fd2e2efcbca56d775b3fcf6ca7d
tree16a2d02c729333439be3f9fae33a89a8363cb7f2
parentbd3b986f20348c5729788eeb806fa4e5915d48e1
update from texinfo
config/texinfo.tex