1 files changed, 0 insertions, 14 deletions
diff --git a/makefile b/makefile
deleted file mode 100755
index 75507969c..000000000
--- a/makefile
+++ /dev/null
@@ -1,14 +0,0 @@
-# Dummy makefile for people who don't read "readme" files, or for automated
-# installations
-
-.PHONY : all
-all:
-	python koch.py boot -d:release
-
-.PHONY : install
-install:
-	sh build.sh
-
-.PHONY : clean
-clean:
-	python koch.py clean