update from texinfo
authorKarl Berry <karl@freefriends.org>
Fri, 30 Apr 2004 12:42:32 +0000 (12:42 +0000)
committerKarl Berry <karl@freefriends.org>
Fri, 30 Apr 2004 12:42:32 +0000 (12:42 +0000)
commit6a717c270d11f8a7a36701ea27ea9f6f1ffb2760
tree53de159c327545c92a5a8a2ddb0ea4f2d42933ea
parentdc76e6e4a571b134102aa89a6b500478fb49a73a
update from texinfo
config/texinfo.tex