Clean up some settings

.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~

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
+.

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 "$@"