diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 1bb22429622d2001c080a959bb5067d9da8b2eea..072b6d2f38225a791b0a41ef46720813a854982e 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 #