drop old stuff

1 files changed, 0 insertions, 27 deletions

diff --git a/dm b/dm
deleted file mode 100755
index 2a085fd..0000000
--- a/dm
+++ /dev/null
@@ -1,27 +0,0 @@
-#!/bin/sh
-
-set -e
-
-git config core.hooksPath .githooks
-
-if [ ! -f SUBSTS.local ]; then
-    echo "Please create the file SUBSTS.local first."
-    exit 1;
-fi
-
-chmod 600 SUBSTS.local
-
-case `uname` in
-    Linux|Darwin)
-        make --version | grep "GNU Make" > /dev/null 2>&1 || { echo "Please install GNU Make"; exit 1; }
-        MAKE=`command -v make`
-        ;;
-    *)
-        command -v gmake > /dev/null 2>&1 || { echo "Please install GNU Make"; exit 1; }
-        MAKE=`command -v gmake`
-        ;;
-esac
-
-${MAKE} -f Makefile $@
-
-# vim:ft=sh