We no longer need dist.sh

We do need a make_tarball.sh script however

diff --git a/dist.sh b/dist.sh
deleted file mode 100755 (executable)
index 4e520b4..0000000
--- a/dist.sh
+++ /dev/null
@@ -1,6 +0,0 @@
-#! /bin/sh
-
-cp AUTHORS.md    dist/
-cp LICENCE.md    dist/
-cp tests/gen/vectors.h dist/tests/vectors.h
-