diff --git a/.gitignore b/.gitignore
index 06b79b9eaf1237bef9b593c00a72fe8ad3e5911a..c02b2831c06537ed34798adc03f035bb35542062 100644
--- a/.gitignore
+++ b/.gitignore
@@ -16,5 +16,6 @@
 build-dep/
 Makefile.coq
 Makefile.coq.conf
+.Makefile.coq.d
 *.crashcoqide
 _opam