update from texinfo
authorKarl Berry <karl@freefriends.org>
Thu, 19 Aug 2004 12:48:49 +0000 (12:48 +0000)
committerKarl Berry <karl@freefriends.org>
Thu, 19 Aug 2004 12:48:49 +0000 (12:48 +0000)
commitec354b13bec21d8510dd60e1e129cc194809248b
tree79de6ef818e04a8f41b1a2fa89aa6139024c19df
parentc3d129666f88f5d1ab8b7c631ea9a76bbadb7402
update from texinfo
config/texinfo.tex