update from texinfo
authorKarl Berry <karl@freefriends.org>
Fri, 17 Jan 2003 17:23:47 +0000 (17:23 +0000)
committerKarl Berry <karl@freefriends.org>
Fri, 17 Jan 2003 17:23:47 +0000 (17:23 +0000)
commitdda4f0be9f61d72bda083399368ca738ed137273
tree50529e48335754330a761bece892377015d73f0e
parent67c16945c7be13d5c7b7123cb4fd0933833ca5c1
update from texinfo
config/texinfo.tex