1 files changed, 0 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index 1c3eaea..a83f570 100644
--- a/.gitignore
+++ b/.gitignore
@@ -24,7 +24,6 @@ setup.log
 .nia.cache
 
 # targets of coq_makefile:
-src/Makefile
 src/Makefile.conf
 src/g_smtcoq.ml