update from texinfo
authorKarl Berry <karl@freefriends.org>
Wed, 5 Feb 2003 00:48:20 +0000 (00:48 +0000)
committerKarl Berry <karl@freefriends.org>
Wed, 5 Feb 2003 00:48:20 +0000 (00:48 +0000)
commit9cee66c69342c44d46c4dcd196034a2795e306d9
treee9b311f8e0abf416b40f5f12d4f39d4ccaefe505
parent6f9e0225e8bfc62cd1f1212ffa72f5345c47b0b5
update from texinfo
config/texinfo.tex