diff --git a/.gitignore b/.gitignore
index fad347ff15a12d2055f9bde1cba493789ca06490..bcc24b9f1fcd26113792589d865c9b46a632afef 100644
--- a/.gitignore
+++ b/.gitignore
@@ -8,4 +8,4 @@
 *~
 *.bak
 .coq-native/
-Makefile
+Makefile.coq
diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000000000000000000000000000000000000..ce4f2f332c3ea14a68a28d72dbc4313c953d50de
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,12 @@
+# Makefile originally by Christian Doczkal <doczkal@ps.uni-saarland.de>
+all: Makefile.coq
+	+make -f Makefile.coq all
+
+clean: Makefile.coq
+	+make -f Makefile.coq clean
+	rm -f Makefile.coq
+
+Makefile.coq: _CoqProject
+	coq_makefile -f _CoqProject -o Makefile.coq
+
+.PHONY: all clean
diff --git a/README b/README
index a7594d08e4be692b27b1ea6f699c13db3e74e932..e1e61a2c4ec948625d648435feebbe2fd7612463 100644
--- a/README
+++ b/README
@@ -15,7 +15,6 @@ fixed version of Ssreflect.
 BUILDING INSTRUCTIONS
 ---------------------
 
-Run the following commands to build the full development:
+Run the following command to build the full development:
 
-  ./configure
   make
diff --git a/configure b/configure
deleted file mode 100755
index eeb3f9d750a6878ff23b94a0ad9a642f575b4267..0000000000000000000000000000000000000000
--- a/configure
+++ /dev/null
@@ -1,2 +0,0 @@
-#!/bin/sh
-coq_makefile -f _CoqProject -o Makefile