diff --git a/polly/.gitignore b/polly/.gitignore
index 97b102a61f66..60b5030a04a7 100644
--- a/polly/.gitignore
+++ b/polly/.gitignore
@@ -1,2 +1,3 @@
 test/lit.site.cfg
+lib/External/isl/doc/manual.pdf
 00*
diff --git a/polly/lib/External/isl/doc/manual.pdf b/polly/lib/External/isl/doc/manual.pdf
deleted file mode 100644
index b064c4779a9d..000000000000
Binary files a/polly/lib/External/isl/doc/manual.pdf and /dev/null differ