1 files changed, 15 insertions, 0 deletions
diff --git a/makefile b/makefile
new file mode 100755
index 000000000..932d53022
--- /dev/null
+++ b/makefile
@@ -0,0 +1,15 @@
+# Dummy makefile for people who don't read "readme" files, or automated
+# installations
+# (c) 2007  Andreas Rumpf
+
+.PHONY : all
+all:
+	python koch.py all
+
+.PHONY : install
+install:
+	python koch.py install
+
+.PHONY : clean
+clean:
+	python koch.py clean