diff --git a/.gitignore b/.gitignore
index ab68afcec..99c758c54 100644
--- a/.gitignore
+++ b/.gitignore
@@ -22,3 +22,4 @@
 /testresult
 /mergelog
 /mergequeue
+/INSTALL.pdf