Merge branch 'feature/basile/doc-affiliation' into 'master'

[doc] Update CEA affiliation in manuals

Closes #987

See merge request frama-c/frama-c!2967

doc/MakeLaTeXModern

 FRAMAC_DOC_ROOT_DIR?=..
-FRAMAC_MODERN=frama-c-book.cls frama-c-cover.pdf frama-c-left.pdf frama-c-right.pdf
+FRAMAC_MODERN=frama-c-book.cls frama-c-cover.pdf frama-c-left.pdf frama-c-right.pdf frama-c-affiliation.tex
 
 frama-c-book.cls: $(FRAMAC_DOC_ROOT_DIR)/frama-c-book.cls
 	@rm -f $@
@@ -24,3 +24,9 @@ frama-c-left.pdf: $(FRAMAC_DOC_ROOT_DIR)/frama-c-left.pdf
 	@cp $< .
 	@chmod a-w $@
 	@echo "import $<"
+
+frama-c-affiliation.tex: $(FRAMAC_DOC_ROOT_DIR)/frama-c-affiliation.tex
+	@rm -f $@
+	@cp $< .
+	@chmod a-w $@
+	@echo "import $<"

doc/developer/.gitignore

@@ -3,6 +3,7 @@
 /frama-c-cover.pdf
 /frama-c-left.pdf
 /frama-c-right.pdf
+/frama-c-affiliation.tex
 /hello_world/
 /tutorial/viewcfg/generated/
 /tutorial/hello/generated/

doc/developer/developer.tex

@@ -29,6 +29,7 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \input{./macros.sty}
+\input{./frama-c-affiliation.tex}
 \makeindex
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@@ -47,7 +48,7 @@
 \author{Julien~Signoles with Thibaud~Antignac, Loïc~Correnson, Matthieu~Lemerre
 and Virgile~Prevosto}
 \begin{center}
-CEA LIST, Software Security Laboratory, Saclay,F-91191
+  \fcaffiliationen
 \end{center}
 \vfill
 \begin{flushleft}

doc/frama-c-affiliation.tex

+\newcommand{\fcaffiliationen}{CEA-List, Université Paris-Saclay\\ Software Safety and Security Lab\xspace}
+\newcommand{\fcaffiliationfr}{CEA-List, Université Paris-Saclay\\ Laboratoire de Sûreté et Sécurité des Logiciels\xspace}

doc/metrics/.gitignore

@@ -2,4 +2,5 @@
 /frama-c-cover.pdf
 /frama-c-left.pdf
 /frama-c-right.pdf
+/frama-c-affiliation.tex
 /metrics.pdf

doc/metrics/metrics.tex

@@ -3,6 +3,7 @@
 \usepackage{amsmath}
 \newcommand{\framacversion}%
            {\input{../../VERSION} (\input{../../VERSION_CODENAME}\unskip)}
+\input{./frama-c-affiliation.tex}
 
 \begin{document}
 \coverpage{Metrics}
@@ -15,7 +16,7 @@
 \title{Frama-C's metrics plug-in}{\framacversion}
 \author{Richard Bonichon \& Boris Yakobowski}
 \begin{tabular}{l}
-CEA LIST, Software Reliability Laboratory, Saclay, F-91191 \\
+  \fcaffiliationen
 \end{tabular}
 \vfill
 \begin{flushleft}

doc/pdg/.gitignore

@@ -3,4 +3,5 @@ frama-c-book.cls
 frama-c-cover.pdf
 frama-c-left.pdf
 frama-c-right.pdf
+frama-c-affiliation.tex
 main.pdf

doc/pdg/main.tex

 \documentclass[a4paper,11pt,twoside,openright,web,lang=french]{frama-c-book}
 
 \input{macros_pdg.tex}
+\input{./frama-c-affiliation.tex}
 %==============================================================================
 \begin{document}
 
@@ -14,8 +15,7 @@
 \title{Documentation du greffon PDG}{Calcul de dépendances dans un programme C}
 \author{Anne Pacalet et Patrick Baudin}
 \begin{tabular}{l}
-  CEA-List, Université Paris-Saclay \\
-  Laboratoire de Sûreté et Sécurité des Logiciels \\
+  \fcaffiliationfr
 \end{tabular}
 \vfill
 \begin{flushleft}

doc/rte/.gitignore

@@ -3,4 +3,5 @@
 /frama-c-left.pdf
 /frama-c-right.pdf
 /framacversion.tex
+/frama-c-affiliation.tex
 /main.pdf

doc/rte/main.tex

@@ -4,6 +4,7 @@
            {\input{../../VERSION} (\input{../../VERSION_CODENAME}\unskip)}
 %%\usepackage{microtype}
 \input{macros_modern}
+\input{./frama-c-affiliation.tex}
 %%modern \usepackage{pslatex}
 %%modern \usepackage{a4wide}
 
@@ -60,7 +61,7 @@
 \title{Frama-C's RTE plug-in}{for Frama-C \framacversion}
 \author{Philippe Herrmann and Julien Signoles}
 \begin{tabular}{l}
-CEA LIST, Software Safety Laboratory, Saclay, F-91191 \\
+  \fcaffiliationen
 \end{tabular}
 \vfill
 \begin{flushleft}

doc/slicing/.gitignore

@@ -3,6 +3,7 @@ frama-c-book.cls
 frama-c-cover.pdf
 frama-c-left.pdf
 frama-c-right.pdf
+frama-c-affiliation.tex
 main.pdf
 call.pdf
 choose_call.pdf

doc/slicing/main.tex

@@ -3,6 +3,7 @@
 %\usepackage[french]{babel}
 
 \input{macros_slicing.tex}
+\input{./frama-c-affiliation.tex}
 %==============================================================================
 \begin{document}
 
@@ -16,8 +17,7 @@
 \title{Documentation du greffon Slicing}{Conception d'un outil de Slicing}
 \author{Anne Pacalet et Patrick Baudin}
 \begin{tabular}{l}
-  CEA-List, Université Paris-Saclay \\
-  Laboratoire de Sûreté et Sécurité des Logiciels \\
+  \fcaffiliationfr
 \end{tabular}
 \vfill
 \begin{flushleft}

doc/userman/.gitignore

@@ -2,6 +2,7 @@ frama-c-book.cls
 frama-c-cover.pdf
 frama-c-left.pdf
 frama-c-right.pdf
+frama-c-affiliation.tex
 userman.idx
 userman.out
 userman.pdf

doc/userman/userman.tex

@@ -5,6 +5,7 @@
 \usepackage{calc}
 
 \include{macros}
+\input{./frama-c-affiliation.tex}
 
 \makeindex
 
@@ -22,7 +23,7 @@
   Maroneze, Virgile Prevosto, Armand Puccetti, Julien Signoles and Boris
   Yakobowski}
 \begin{tabular}{l}
-CEA LIST, Software Safety Laboratory, Saclay, F-91191 \\
+  \fcaffiliationen
 \end{tabular}
 \vfill
 \begin{flushleft}

doc/value/.gitignore

@@ -2,5 +2,6 @@
 /frama-c-cover.pdf
 /frama-c-left.pdf
 /frama-c-right.pdf
+/frama-c-affiliation.tex
 /main.pdf
 

doc/value/main.tex

@@ -35,6 +35,8 @@
 
 \newcommand{\Eva}{\textsf{Eva}}
 
+\input{./frama-c-affiliation.tex}
+
 \lstset{literate=%
 {∈}{{$\in$ }}1
 }
@@ -70,7 +72,7 @@
   With Matthieu Lemerre, André Maroneze,
   Valentin Perrelle and Virgile Prevosto}
 \begin{tabular}{l}
-CEA LIST, Software Reliability Laboratory, Saclay, F-91191 \\
+  \fcaffiliationen
 \end{tabular}
 \vfill
 \begin{flushleft}

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

@@ -2,6 +2,7 @@ frama-c-book.cls
 frama-c-cover.pdf
 frama-c-left.pdf
 frama-c-right.pdf
+frama-c-affiliation.tex
 e-acsl.pdf
 e-acsl-implementation.pdf
 eacslversion.tex

src/plugins/e-acsl/doc/refman/main.tex

@@ -4,6 +4,7 @@
 \usepackage{ifthen}
 
 \input{./macros_modern}
+\input{./frama-c-affiliation.tex}
 \input{eacslversion.tex}
 %Do not touch the following line. It is used in a Makefile hack to
 %produce the ACSL documents for the ACSL working group.
@@ -52,7 +53,7 @@
 
 \author{Julien Signoles}
 
-CEA LIST, Software Reliability Laboratory\\
+\fcaffiliationen
 \vfill
 \begin{flushleft}
   \textcopyright 2011-2018 CEA LIST

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

@@ -2,4 +2,5 @@ frama-c-book.cls
 frama-c-cover.pdf
 frama-c-left.pdf
 frama-c-right.pdf
+frama-c-affiliation.tex
 main.pdf

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

@@ -5,6 +5,7 @@
 
 \include{macros}
 \include{eacslversion}
+\input{./frama-c-affiliation.tex}
 
 \makeindex
 
@@ -22,7 +23,7 @@
    \\[1em] compatible with \framac \fcversion}}
 \author{Julien Signoles, Basile Desloges and Kostyantyn Vorobyov}
 \begin{center}
-CEA LIST\\ Software Reliability \& Security Laboratory
+\fcaffiliationen
 \end{center}
 \vfill
 \begin{flushleft}