diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index c8b51c4517f8e48e3901f06885e2da6ee806945a..d51bae3666b0192cb7c2a75827dcf8a0d9fe1249 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -164,6 +164,7 @@ EACSL_DISTRIB_FILES=\
 	license/CEA_LGPL license/headache_config.txt license/LGPLv2.1 \
 	INSTALL README VERSION .depend
 
+# BE CAREFUL: manually remove all *.ml* files which should not be released!
 e-acsl-distrib: .depend
 	$(PRINT_TAR) tmp-distrib
 	$(TAR) cf tmp.tar $(EACSL_DISTRIB_FILES)
@@ -172,7 +173,8 @@ e-acsl-distrib: .depend
 	$(PRINT_UNTAR) tmp-distrib
 	cd $(EXPORT); \
 	  $(TAR) xf ../tmp.tar; autoconf; \
-	  $(SED) -i -e 's/IS_DISTRIBUTED:=no/IS_DISTRIBUTED:=yes/' Makefile.in
+	  $(SED) -i -e 's/IS_DISTRIBUTED:=no/IS_DISTRIBUTED:=yes/' Makefile.in; \
+	  $(RM) -rf autom4te.cache
 	$(PRINT_RM) tmp-distrib
 	$(RM) tmp.tar
 	$(PRINT_MAKING) test directories
diff --git a/src/plugins/e-acsl/doc/manuals/e-acsl-manual.pdf b/src/plugins/e-acsl/doc/manuals/e-acsl-manual.pdf
index 1361ba0bc29212571488c2a551fd1e1a0d6c31e5..f692a5c85fe1f7237ed9c82ca60536c44b1a8cba 100644
Binary files a/src/plugins/e-acsl/doc/manuals/e-acsl-manual.pdf and b/src/plugins/e-acsl/doc/manuals/e-acsl-manual.pdf differ
diff --git a/src/plugins/e-acsl/doc/userman/Makefile b/src/plugins/e-acsl/doc/userman/Makefile
index 53e88a457e460537635be6a15eda367507e5495d..63a5d85f40efbfa5788f3c699ba4e5290e24d129 100644
--- a/src/plugins/e-acsl/doc/userman/Makefile
+++ b/src/plugins/e-acsl/doc/userman/Makefile
@@ -15,7 +15,7 @@ default: main.pdf
 main.pdf: $(DEPS_MODERN)
 
 EACSL_VERSION= 0.3
-FC_VERSION= Fluorine-20130501
+FC_VERSION= Fluorine-20130601
 
 EACSL_DIR=$(HOME)/plugins/e-acsl
 DISTRIB_DIR=$(HOME)/frama-c/doc/www/distrib
diff --git a/src/plugins/e-acsl/doc/userman/eacslversion.tex b/src/plugins/e-acsl/doc/userman/eacslversion.tex
index 4278bcb02feab3cfe45242689de362df7bff04c7..c6157275e0d0057a1ab29ef9c26f2f3c55fea50f 100644
--- a/src/plugins/e-acsl/doc/userman/eacslversion.tex
+++ b/src/plugins/e-acsl/doc/userman/eacslversion.tex
@@ -1,2 +1,2 @@
 \newcommand{\eacslversion}{0.3\xspace}
-\newcommand{\fcversion}{Fluorine-20130501\xspace}
+\newcommand{\fcversion}{Fluorine-20130601\xspace}
diff --git a/src/plugins/e-acsl/doc/userman/main.pdf b/src/plugins/e-acsl/doc/userman/main.pdf
index 1361ba0bc29212571488c2a551fd1e1a0d6c31e5..f692a5c85fe1f7237ed9c82ca60536c44b1a8cba 100644
Binary files a/src/plugins/e-acsl/doc/userman/main.pdf and b/src/plugins/e-acsl/doc/userman/main.pdf differ