diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index b593afeee6305beb2974e95f6658bfaef58c697e..e36364a11a131d2df3c14ebc5c25b633eb77da7d 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -190,7 +190,7 @@ e-acsl-distrib: .depend
 	$(PRINT) Cleaning
 	$(RM) -fr $(EXPORT)
 
-WWW	= /localhome/julien/frama-c/doc/www
+WWW	?= /localhome/julien/frama-c/doc/www
 e-acsl-install-distrib: e-acsl-distrib
 	$(PRINT) Copying to website
 	$(CP) $(EXPORT).tar.gz $(WWW)/distrib/download/e-acsl
diff --git a/src/plugins/e-acsl/doc/refman/Makefile b/src/plugins/e-acsl/doc/refman/Makefile
index 7270a3f9554b4680c8a1f5d0ad5397d209403964..2e6e31df15a05d0ff252af2ee900901c34e37234 100644
--- a/src/plugins/e-acsl/doc/refman/Makefile
+++ b/src/plugins/e-acsl/doc/refman/Makefile
@@ -21,7 +21,7 @@ all: e-acsl
 LANGUAGE_VERSION=1.7-1
 EACSL_VERSION= 0.3
 
-EACSL_DIR=$(HOME)/plugins/e-acsl
+EACSL_DIR=../..
 DISTRIB_DIR=$(HOME)/frama-c/doc/www/distrib
 install: e-acsl-implementation.pdf e-acsl.pdf
 	cp -f $^ $(EACSL_DIR)/doc/manuals