2 files changed, 11 insertions, 7 deletions
diff --git a/.gitignore b/.gitignore
index f25a61d..55a6c60 100644
--- a/.gitignore
+++ b/.gitignore
@@ -28,3 +28,7 @@ lia.cache
 nia.cache
 nlia.cache
 nra.cache
+
+Makefile.coq
+Makefile.coq.conf
+.coqdeps.d
diff --git a/Makefile b/Makefile
index b71f581..d86d0b0 100644
--- a/Makefile
+++ b/Makefile
@@ -10,13 +10,13 @@ VS:=$(filter-out $(LIBVS) $(IGNORE:%=%.v),$(VS))
 
 ARGS := -R CoqUp CoqUp
 
-coq: Makefile.coq.all
-	$(MAKE) -f Makefile.coq.all
+coq: Makefile.coq
+	$(MAKE) -f Makefile.coq
 
-Makefile.coq.all: Makefile $(LIBVS) $(VS)
-	$(COQBIN)coq_makefile $(ARGS) $(LIBVS) $(VS) -o Makefile.coq.all
+Makefile.coq: Makefile $(LIBVS) $(VS)
+	$(COQBIN)coq_makefile $(ARGS) $(LIBVS) $(VS) -o Makefile.coq
 
-clean:: Makefile.coq.all
-	$(MAKE) -f Makefile.coq.all clean
+clean:: Makefile.coq
+	$(MAKE) -f Makefile.coq clean
 	rm -f */*.v.d */*.glob */*.vo */*~ *~
-	rm -f Makefile.coq.all
+	rm -f Makefile.coq