diff --git a/src/plugins/e-acsl/doc/refman/.gitignore b/src/plugins/e-acsl/doc/refman/.gitignore
new file mode 100644
index 0000000000000000000000000000000000000000..a2c62a9667fc6ccbdd9fcbe7243ffa8c55a56964
--- /dev/null
+++ b/src/plugins/e-acsl/doc/refman/.gitignore
@@ -0,0 +1 @@
+e-acsl.pdf
diff --git a/src/plugins/e-acsl/doc/refman/e-acsl.pdf b/src/plugins/e-acsl/doc/refman/e-acsl.pdf
deleted file mode 100644
index 0b539ef84e290b5ffab2d23ffaca1f7a7d1392ee..0000000000000000000000000000000000000000
Binary files a/src/plugins/e-acsl/doc/refman/e-acsl.pdf and /dev/null differ