diff --git a/.gitignore b/.gitignore
index 90fe9644eb6393f34d12c56ad4c8e86cd1e30ca2..08527b8010dfe3270101e7acb076b051560f28b8 100644
--- a/.gitignore
+++ b/.gitignore
@@ -9,7 +9,8 @@
 *~
 *.bak
 .coq-native/
-Makefile.coq*
+Makefile.coq
+Makefile.coq.conf
 *.crashcoqide
 html/
 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: ;