diff --git a/.gitignore b/.gitignore
index c9a7505f2ba41bd9e8a03a542c07a5d9ce1a7a08..952425dea02ab0f1ab6d6e7b9a137eda0b983ffc 100644
--- a/.gitignore
+++ b/.gitignore
@@ -17,5 +17,7 @@
 .#*
 auto
 *.fmt
-Makefile.coq*
+Makefile.coq
+Makefile.coq.conf
+build-dep
 *~
diff --git a/Makefile b/Makefile
index 4a7e644201c0a2f4afd5d2700f259fd618023501..cff640c1c72131e62f2d5b838970ec5e131c2a22 100644
--- a/Makefile
+++ b/Makefile
@@ -41,6 +41,7 @@ build-dep: build-dep/opam phony
 Makefile: ;
 _CoqProject: ;
 awk.Makefile: ;
+opam: ;
 
 # Phony wildcard targets
 phony: ;