update from texinfo
authorKarl Berry <karl@freefriends.org>
Sun, 1 Aug 2004 12:50:18 +0000 (12:50 +0000)
committerKarl Berry <karl@freefriends.org>
Sun, 1 Aug 2004 12:50:18 +0000 (12:50 +0000)
commitb9624ddc1fd7ef55ad1594f1d3e86843f9f5c935
treecd51908ddd4c7abbad8f1a52fa195fc2150d68bf
parent8bae0b0e7b69ebd8e9230f0825326cc09fb9ca66
update from texinfo
config/texinfo.tex