diff --git a/.gitignore b/.gitignore
index 508a948ac6ded7aec2c7ad79a85e853c6983c6ac..73d4af9ee527a599ed492c44838e68c028d1d9e8 100644
--- a/.gitignore
+++ b/.gitignore
@@ -15,3 +15,4 @@
 .#*
 auto
 *.fmt
+coq/*/Makefile