[doc] fix bug #1782 about incorrect URL in the bibliography of the user manual

src/plugins/e-acsl/doc/Changelog

@@ -15,6 +15,8 @@
 #   E-ACSL: the Whole E-ACSL plug-in
 ###############################################################################
 
+-* E-ACSL       [2014/05/21] Fix bug #1782 about incorrect URL in the
+	        documentation.
 -  E-ACSL       [2014/03/27] Remove spurious warnings when using type `real`.
 -* E-ACSL       [2014/03/26] Fix bug #1692 about wrong localisation of
 	        some messages.

src/plugins/e-acsl/doc/userman/.gitignore

+main.pdf

src/plugins/e-acsl/doc/userman/Makefile

@@ -14,7 +14,7 @@ default: main.pdf
 
 main.pdf: $(DEPS_MODERN)
 
-EACSL_VERSION= 0.4
+EACSL_VERSION= 0.4+dev
 FC_VERSION= Neon-20140301
 
 EACSL_DIR=../..

src/plugins/e-acsl/doc/userman/biblio.bib

@@ -30,35 +30,35 @@
             March\'{e}, Claude and Monate, Benjamin and Moy, Yannick and
             Prevosto, Virgile},
   month = apr,
-  title = {{ACSL: ANSI/ISO C Specification Language. Version 1.7}},
-  year = {2013}
+  title = {{ACSL: ANSI/ISO C Specification Language. Version 1.8}},
+  year = {2014}
 }
 
 @manual{acsl-implem,
   author = {Baudin, Patrick and Pascal Cuoq and Filli\^{a}tre, Jean-Christophe 
             and March\'{e}, Claude and Monate, Benjamin and Moy, Yannick and
             Prevosto, Virgile},
-  month = sep,
-  title = {ACSL: ANSI/ISO C Specification Language. Version 1.6 --- 
-           Frama-C Oxygen implementation.},
-  year = {2012}
+  month = apr,
+  title = {ACSL: ANSI/ISO C Specification Language. Version 1.8 --- 
+           Frama-C Neon implementation.},
+  year = {2014}
 }
 
 @manual{eacsl,
   author = {Julien Signoles},
-  title  = {E-ACSL: Executable ANSI/ISO C Specification Language. Version 1.7},
-  year   = 2013,
-  month  = may,
-  note   = {URL: http://frama-c.com/download/ e-acsl/e-acsl.pdf}
+  title  = {E-ACSL: Executable ANSI/ISO C Specification Language. Version 1.8},
+  year   = 2014,
+  month  = apr,
+  note   = {\mbox{\url{http://frama-c.com/download/e-acsl/e-acsl.pdf}}}
 }
 
 @manual{eacsl-implem,
   author = {Julien Signoles},
   title  = {E-ACSL Version 1.7. 
-            Implementation in Frama-C Plug-in E-ACSL version 0.2},
-  year   = 2013,
-  month  = may,
-  note   = {URL: http://frama-c.com/download/e-acsl/ e-acsl-implementation.pdf}}
+            Implementation in Frama-C Plug-in E-ACSL version 0.4},
+  year   = 2014,
+  month  = apr,
+  note   = {\mbox{\url{http://frama-c.com/download/e-acsl/e-acsl-implementation.pdf}}}
 }
 
 @inproceedings{sac13,

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

@@ -5,6 +5,12 @@ release. First we list changes of the last release.
 
 \section*{E-ACSL \eacslversion}
 
+\begin{itemize}
+\item \textbf{Bibliography:} fix incorrect links.
+\end{itemize}
+
+\section*{E-ACSL 0.4}
+
 \begin{itemize}
 \item No change
 \end{itemize}

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

-\newcommand{\eacslversion}{0.4\xspace}
+\newcommand{\eacslversion}{0.4+dev\xspace}
 \newcommand{\fcversion}{Neon-20140301\xspace}