From a23d004a7d14bddba0955d2c2eefef0a9e9f832c Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Thu, 5 Jan 2012 10:07:24 +0000
Subject: [PATCH] [e-acsl] fixed install-distrib

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

diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 1bb22429622..072b6d2f382 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -176,7 +176,7 @@ src-distrib: .depend
 WWW	= /localhome/julien/frama-c/doc/www
 install-distrib: src-distrib
 	$(PRINT) Copying to website
-	$(CP) $(EXPORT).tar.gz $(WWW)/distrib/download
+	$(CP) $(EXPORT).tar.gz $(WWW)/distrib/download/e-acsl
 
 ##########
 # Header #
-- 
GitLab