diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index c2b40db263f9920ee0586510e7ee3b68d3be4674..c09bfba001604b68ecbd328b560f02911a1a0945 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -267,7 +267,6 @@ EACSL_CONTRIB_FILES = \
 EACSL_MANUAL_FILES = doc/manuals/*.pdf
 
 EACSL_DOC_FILES = \
-	$(EACSL_MANUAL_FILES) \
 	doc/doxygen/doxygen.cfg.in \
 	doc/Changelog \
 	man/e-acsl-gcc.sh.1