diff --git a/.gitignore b/.gitignore
index 05a3327..c072a69 100644
--- a/.gitignore
+++ b/.gitignore
@@ -40,4 +40,5 @@ coq
 compile
 test-driver
 \#*
+INSTALL