K 10
svn:author
V 3
phk
K 8
svn:date
V 27
1995-04-13T09:06:15.000000Z
K 7
svn:log
V 130
tell people what we do at the end, since it can take a little while.
use "set -e" when extracting bindist
make src dists extract.

END