diff --git a/.gitignore b/.gitignore
index e9ad8dad3a1758ace795a186c5eebfd938fb046a..cd6fdacb0d8b7af215f0c57008ceb0cd21566552 100644
--- a/.gitignore
+++ b/.gitignore
@@ -10,4 +10,5 @@
 *.bak
 .coq-native/
 build-dep/
-Makefile.coq*
+Makefile.coq
+Makefile.coq.conf
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: ;