diff --git a/.gitignore b/.gitignore
index 9df41c19b7cdef75dcc0fade4ac608bcaf12761a..263c2bb28f2797933b745dd5af792dcf8f6d03b6 100644
--- a/.gitignore
+++ b/.gitignore
@@ -17,6 +17,7 @@ _opam
 build-dep/
 Makefile.coq
 Makefile.coq.conf
+.Makefile.coq.d
 *.crashcoqide
 docs/*.cp*
 docs/*.pdf