From 59c59c46bee9383ee0c03782fb747fd7d760c562 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Wed, 21 May 2014 16:53:27 +0200
Subject: [PATCH] [doc] fix bug #1782 about incorrect URL in the bibliography
of the user manual
---
src/plugins/e-acsl/doc/Changelog | 2 ++
src/plugins/e-acsl/doc/userman/.gitignore | 1 +
src/plugins/e-acsl/doc/userman/Makefile | 2 +-
src/plugins/e-acsl/doc/userman/biblio.bib | 28 +++++++++----------
src/plugins/e-acsl/doc/userman/changes.tex | 6 ++++
.../e-acsl/doc/userman/eacslversion.tex | 2 +-
6 files changed, 25 insertions(+), 16 deletions(-)
create mode 100644 src/plugins/e-acsl/doc/userman/.gitignore
diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 2883ee38c8b..628dd97bbb5 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/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.
diff --git a/src/plugins/e-acsl/doc/userman/.gitignore b/src/plugins/e-acsl/doc/userman/.gitignore
new file mode 100644
index 00000000000..f0de8a3d55f
--- /dev/null
+++ b/src/plugins/e-acsl/doc/userman/.gitignore
@@ -0,0 +1 @@
+main.pdf
diff --git a/src/plugins/e-acsl/doc/userman/Makefile b/src/plugins/e-acsl/doc/userman/Makefile
index 65eea281368..786d571b314 100644
--- a/src/plugins/e-acsl/doc/userman/Makefile
+++ b/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=../..
diff --git a/src/plugins/e-acsl/doc/userman/biblio.bib b/src/plugins/e-acsl/doc/userman/biblio.bib
index a2c04de1c0c..7d0c29f24a1 100644
--- a/src/plugins/e-acsl/doc/userman/biblio.bib
+++ b/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,
diff --git a/src/plugins/e-acsl/doc/userman/changes.tex b/src/plugins/e-acsl/doc/userman/changes.tex
index ba3ec142044..2d98c60ec54 100644
--- a/src/plugins/e-acsl/doc/userman/changes.tex
+++ b/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}
diff --git a/src/plugins/e-acsl/doc/userman/eacslversion.tex b/src/plugins/e-acsl/doc/userman/eacslversion.tex
index 14953a5d923..f098f72f0a5 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.4\xspace}
+\newcommand{\eacslversion}{0.4+dev\xspace}
\newcommand{\fcversion}{Neon-20140301\xspace}
--
GitLab