update from texinfo
authorKarl Berry <karl@freefriends.org>
Thu, 30 Jan 2003 23:45:00 +0000 (23:45 +0000)
committerKarl Berry <karl@freefriends.org>
Thu, 30 Jan 2003 23:45:00 +0000 (23:45 +0000)
commit4788d7ae9227f8a4fb37d86d5780b3499b10f493
treec95ffdee5678368a41980fcb32698b1671f478a7
parent87b04f998fd3e668027074b5b5d37205d3cdfec3
update from texinfo
config/texinfo.tex