diff --git a/src/plugins/e-acsl/doc/refman/e-acsl-implementation.pdf b/src/plugins/e-acsl/doc/refman/e-acsl-implementation.pdf
deleted file mode 100644
index 9f3752311314e7e2780f74eb2e6bb42a3fe42d0a..0000000000000000000000000000000000000000
Binary files a/src/plugins/e-acsl/doc/refman/e-acsl-implementation.pdf and /dev/null differ