update user manual

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

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

src/plugins/e-acsl/doc/userman/eacslversion.tex

-\newcommand{\eacslversion}{0.3\xspace}
-\newcommand{\fcversion}{Fluorine-20130601\xspace}
+\newcommand{\eacslversion}{0.4\xspace}
+\newcommand{\fcversion}{Neon-20140301\xspace}