diff --git a/.gitignore b/.gitignore
index 73d4af9ee527a599ed492c44838e68c028d1d9e8..703f16fade93abd8489c81c6e6f0a3ce17f10bac 100644
--- a/.gitignore
+++ b/.gitignore
@@ -15,4 +15,4 @@
 .#*
 auto
 *.fmt
-coq/*/Makefile
+coq/*/Makefile.coq
diff --git a/coq/ra/Makefile b/coq/ra/Makefile
new file mode 100644
index 0000000000000000000000000000000000000000..ff1ccd39b120b9d1ff5e72d079d8484bfbfb551b
--- /dev/null
+++ b/coq/ra/Makefile
@@ -0,0 +1,22 @@
+# Makefile originally taken from coq-club
+
+%: Makefile.coq phony
+	+make -f Makefile.coq $@
+
+all: Makefile.coq
+	+make -f Makefile.coq all
+
+clean: Makefile.coq
+	+make -f Makefile.coq clean
+	rm -f Makefile.coq
+
+Makefile.coq: _CoqProject Makefile
+	coq_makefile -f _CoqProject | sed 's/$$(COQCHK) $$(COQCHKFLAGS) $$(COQLIBS)/$$(COQCHK) $$(COQCHKFLAGS) $$(subst -Q,-R,$$(COQLIBS))/' > Makefile.coq
+
+_CoqProject: ;
+
+Makefile: ;
+
+phony: ;
+
+.PHONY: all clean phony