update from texinfo
authorKarl Berry <karl@freefriends.org>
Fri, 17 Oct 2003 01:49:31 +0000 (01:49 +0000)
committerKarl Berry <karl@freefriends.org>
Fri, 17 Oct 2003 01:49:31 +0000 (01:49 +0000)
commit0add61f27e382ba01fe2c65ef13ebfd484c5ba78
tree9cae5b198868073a3019439299eff0ae8df63013
parent5bcc6827b3fb62ab0bf28d154918c8c2da2749f1
update from texinfo
config/texinfo.tex