1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 3199ccb..b5aaccd 100644
--- a/.gitignore
+++ b/.gitignore
@@ -21,7 +21,9 @@ setup.log
 .nia.cache
 
 # cp targets of src/configure.sh:
+src/Make
 src/Makefile
+src/Makefile.conf
 src/smtcoq_plugin.ml4
 src/versions/native/Structures.v
 src/g_smtcoq.ml4