update from texinfo
authorKarl Berry <karl@freefriends.org>
Sat, 15 Nov 2003 14:58:11 +0000 (14:58 +0000)
committerKarl Berry <karl@freefriends.org>
Sat, 15 Nov 2003 14:58:11 +0000 (14:58 +0000)
commit6935f5b85156429b1e6a91ebe43db2ac2260a82b
treeb877c7db21dd82d0b9c22b7a7c4d46b7b5e94f74
parent3451457bacfcdbb51b3cd8247cf9f83f2d774f87
update from texinfo
config/texinfo.tex