1 files changed, 1 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index da883cff..6c10e1c3 100644
--- a/.gitignore
+++ b/.gitignore
@@ -26,6 +26,7 @@
 /Makefile.config
 /.merlin
 /_CoqProject
+/compile.pl
 # Generated files
 /.depend
 /.depend.extr