1 files changed, 4 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index f25a61d..55a6c60 100644
--- a/.gitignore
+++ b/.gitignore
@@ -28,3 +28,7 @@ lia.cache
 nia.cache
 nlia.cache
 nra.cache
+
+Makefile.coq
+Makefile.coq.conf
+.coqdeps.d