update from texinfo
authorKarl Berry <karl@freefriends.org>
Mon, 27 Oct 2003 21:28:39 +0000 (21:28 +0000)
committerKarl Berry <karl@freefriends.org>
Mon, 27 Oct 2003 21:28:39 +0000 (21:28 +0000)
commit38d67ea7585095b437096c349b7a39285f3887b9
tree01da77f54bd0a6c937287e6f2b48997bf9343639
parent0beb889fec44701079d546b73b252bdda5ba0379
update from texinfo
config/texinfo.tex