update from texinfo
authorKarl Berry <karl@freefriends.org>
Sun, 16 Nov 2003 13:48:56 +0000 (13:48 +0000)
committerKarl Berry <karl@freefriends.org>
Sun, 16 Nov 2003 13:48:56 +0000 (13:48 +0000)
commit63c2d1ba5a19f02faa78e8c2307b2b6077ebfe1a
tree155d9e69aff971f181ec1da2297c28e3d2fe54d5
parent6935f5b85156429b1e6a91ebe43db2ac2260a82b
update from texinfo
config/texinfo.tex