chiark / gitweb /
Er, except that I already had a makedist.sh. Transferred new version