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 f692a5c85fe1f7237ed9c82ca60536c44b1a8cba..f91653e290e6453089815156a3ec66c9e1b70970 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 63a5d85f40efbfa5788f3c699ba4e5290e24d129..65eea28136894647be383f492fc69c1ca6a26a0c 100644
--- a/src/plugins/e-acsl/doc/userman/Makefile
+++ b/src/plugins/e-acsl/doc/userman/Makefile
@@ -14,14 +14,14 @@ default: main.pdf
 
 main.pdf: $(DEPS_MODERN)
 
-EACSL_VERSION= 0.3
-FC_VERSION= Fluorine-20130601
+EACSL_VERSION= 0.4
+FC_VERSION= Neon-20140301
 
-EACSL_DIR=$(HOME)/plugins/e-acsl
+EACSL_DIR=../..
 DISTRIB_DIR=$(HOME)/frama-c/doc/www/distrib
 install: 
 	cp -f main.pdf $(EACSL_DIR)/doc/manuals/e-acsl-manual.pdf
-	cp -f main.pdf \
+#	cp -f main.pdf \
 	  $(DISTRIB_DIR)/download/e-acsl/e-acsl-manual-$(EACSL_VERSION).pdf
 
 include $(EACSL_DIR)/doc/support/MakeLaTeXModern
diff --git a/src/plugins/e-acsl/doc/userman/changes.tex b/src/plugins/e-acsl/doc/userman/changes.tex
index 91697bfe925ba5f3e8fe22f58728e0a5d69c27c6..ba3ec142044a61ff72531de4c9c720deae7f93d4 100644
--- a/src/plugins/e-acsl/doc/userman/changes.tex
+++ b/src/plugins/e-acsl/doc/userman/changes.tex
@@ -4,6 +4,12 @@ This chapter summarizes the changes in this documentation between each \eacsl
 release. First we list changes of the last release.
 
 \section*{E-ACSL \eacslversion}
+
+\begin{itemize}
+\item No change
+\end{itemize}
+
+\section*{E-ACSL 0.3}
 \begin{itemize}
 \item \textbf{Introduction:} reference the \eacsl tutorial.
 \item \textbf{Memory-related Annotations:} document the
diff --git a/src/plugins/e-acsl/doc/userman/eacslversion.tex b/src/plugins/e-acsl/doc/userman/eacslversion.tex
index c6157275e0d0057a1ab29ef9c26f2f3c55fea50f..14953a5d923cce7b011879de958b7ec761304507 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-20130601\xspace}
+\newcommand{\eacslversion}{0.4\xspace}
+\newcommand{\fcversion}{Neon-20140301\xspace}
diff --git a/src/plugins/e-acsl/doc/userman/main.pdf b/src/plugins/e-acsl/doc/userman/main.pdf
deleted file mode 100644
index f692a5c85fe1f7237ed9c82ca60536c44b1a8cba..0000000000000000000000000000000000000000
Binary files a/src/plugins/e-acsl/doc/userman/main.pdf and /dev/null differ