update from texinfo
authorKarl Berry <karl@freefriends.org>
Fri, 8 Oct 2004 13:14:35 +0000 (13:14 +0000)
committerKarl Berry <karl@freefriends.org>
Fri, 8 Oct 2004 13:14:35 +0000 (13:14 +0000)
commitd8296f7e0a70a55068cf126765339d7a3508c9a2
treebbfb52e6f1e59ab9dcde7c79389f771c7378b43f
parentf5200a50fa42fdaed40ecc67b27f41be328a6a01
update from texinfo
config/texinfo.tex