From 31857ee9aa08810d349def967f84e3b63628b0e1 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Wed, 4 Dec 2019 15:13:22 +0100
Subject: [PATCH] [e-acsl] do not distribute E-ACSL manuals

---
 src/plugins/e-acsl/Makefile.in | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index c2b40db263f..c09bfba0016 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
-- 
GitLab