diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 072b6d2f38225a791b0a41ef46720813a854982e..12e74d73834aaec570cb86d72a9cb21d72daffd3 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -150,7 +150,7 @@ DISTRIB_FILES= $(filter-out $(wildcard *local_config.ml), $(wildcard *.ml)) \
 	license/CEA_LGPL license/headache_config.txt license/LGPLv2.1 \
 	INSTALL README VERSION .depend
 
-src-distrib: .depend
+e-acsl-distrib: .depend
 	$(PRINT_TAR) tmp-distrib
 	$(TAR) cf tmp.tar $(DISTRIB_FILES)
 	$(PRINT_MAKING) export directories
@@ -174,7 +174,7 @@ src-distrib: .depend
 	$(RM) -fr $(EXPORT)
 
 WWW	= /localhome/julien/frama-c/doc/www
-install-distrib: src-distrib
+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/Changelog b/src/plugins/e-acsl/doc/Changelog
index 650d8101370a0b78c8448d70073875d7ad345027..935b44ef46ae9bd959535a9e2e9dd3925564fcff 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -15,6 +15,7 @@
 #   E-ACSL: the Whole E-ACSL plug-in
 ###############################################################################
 
+- E-ACSL	[2012/01/25] nicer generated variable names.
 * E-ACSL	[2012/01/23] Function __gmp_com was wrongly named in
 	        E_ACSL C header.
 - E-ACSL	[2012/01/20] Use GMP arithmetics only when required