From 23a526120cade3e4aaf018301f53f37368ce7877 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Wed, 29 Nov 2017 10:15:57 +0100
Subject: [PATCH] do not distribute .depend

---
 src/plugins/e-acsl/Makefile.in | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 013bcefbcf7..b793760761f 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -264,7 +264,7 @@ EACSL_LICENSE_FILES = \
   license/headache_config.txt license/LGPLv2.1
 
 EACSL_MISC_FILES = \
-  configure.ac Makefile.in INSTALL README VERSION .depend
+  configure.ac Makefile.in INSTALL README VERSION
 
 EACSL_SHARE_FILES = share/e-acsl/*.[ch] share/e-acsl/*/*.[ch]
 
@@ -281,7 +281,7 @@ PLUGIN_DISTRIB_EXTERNAL:=\
 EACSL_DISTRIB_FILES:= $(PLUGIN_DISTRIB_EXTERNAL) $(EACSL_OCAML_FILES)
 
 # BE CAREFUL: manually remove all *.ml* files which should not be released!
-e-acsl-distrib: .depend
+e-acsl-distrib:
 	$(PRINT_TAR) tmp-distrib
 	$(TAR) cf tmp.tar $(EACSL_DISTRIB_FILES)
 	$(PRINT_MAKING) export directories
-- 
GitLab