diff --git a/.gitignore b/.gitignore
index e173b6f3..16c65daf 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,12 +6,12 @@ driver/parser.mli
 theories/Parser.v
 
 # Remove Coq compiled code
-**/*.vo
-**/*.glob
-**/*.d
-**/.*.aux
-**/*.vok
-**/*.vos
+*.vo
+*.glob
+*.d
+.*.aux
+*.vok
+*.vos
 .lia.cache
 makefile.coq*
 *.~undo-tree~
diff --git a/theories/_CoqProject b/theories/_CoqProject
index 81a2c837..1989e8dc 100644
--- a/theories/_CoqProject
+++ b/theories/_CoqProject
@@ -2,14 +2,4 @@
 
 -arg -w -arg -notation-overridden
 
-LibTactics.v
-Syntax.v
-System.v
-Parser.v
-ParserExtraction.v
-Elaborator.v
-CtxEqLemmas.v
-CtxEquiv.v
-PresupLemmas.v
-Relations.v
-Presup.v
\ No newline at end of file
+.
diff --git a/theories/makefile b/theories/makefile
index 2fa26574..03653aba 100644
--- a/theories/makefile
+++ b/theories/makefile
@@ -1,12 +1,16 @@
-.PHONY: all clean
+COQMAKEFILE := makefile.coq
 
--include makefile.coq
+.PHONY: all
+all: $(COQMAKEFILE)
 
-all: makefile.coq
-	make -f "$?"
+-include $(COQMAKEFILE)
+
+clean::
+	rm -f $(COQMAKEFILE)
+	rm -f $(COQMAKEFILE).conf
 
 Parser.v: Parser.vy
-	menhir --coq $?
+	menhir --coq "$?"
 
-makefile.coq: _CoqProject
+$(COQMAKEFILE): _CoqProject
 	coq_makefile -f "$?" -o "$@"