[doc] add Frama-C guy

doc/MakeLaTeXModern

 FRAMAC_DOC_ROOT_DIR?=..
-FRAMAC_MODERN=frama-c-book.cls fc-macros.tex eu-flag.jpg anr-logo.png logos
+FRAMAC_MODERN=frama-c-book.cls fc-macros.tex eu-flag.jpg anr-logo.png frama-c-guy.png logos
 
 frama-c-book.cls: $(FRAMAC_DOC_ROOT_DIR)/frama-c-book.cls
 	@rm -f $@
@@ -19,6 +19,12 @@ anr-logo.png: $(FRAMAC_DOC_ROOT_DIR)/anr-logo.png
 	@chmod a-w $@
 	@echo "import $<"
 
+frama-c-guy.png: $(FRAMAC_DOC_ROOT_DIR)/frama-c-guy.png
+	@rm -f $@
+	@cp $< .
+	@chmod a-w $@
+	@echo "import $<"
+
 fc-macros.tex: $(FRAMAC_DOC_ROOT_DIR)/fc-macros.tex
 	@rm -f $@
 	@cp $< .

doc/aorai/.gitignore

 /transf.cm*
+/transf

doc/developer/.gitignore

@@ -2,6 +2,7 @@
 /developer.pdf
 /eu-flag.jpg
 /frama-c-book.cls
+/frama-c-guy.png
 /fc-macros.tex
 /logos
 /hello_world/

doc/eva/.gitignore

 /anr-logo.png
 /eu-flag.jpg
+/frama-c-guy.png
 /frama-c-book.cls
 /main.pdf
 /logos

doc/frama-c-book.cls

@@ -21,6 +21,9 @@
 \RequirePackage{microtype}
 \RequirePackage{etoolbox}
 
+\RequirePackage{tikz}
+\usetikzlibrary{fadings}
+
 % Do I keep it there:
 \RequirePackage{babel}
 \RequirePackage[T1]{fontenc}
@@ -149,6 +152,15 @@
   \thispagestyle{empty}
   \noindent\includegraphics{logos/frama-c.png}
 
+  \tikzfading[name=fade right,left color=transparent!0, right color=transparent!80]
+  \tikz[remember picture,overlay]{
+    \node[inner sep=0pt,anchor=south,yshift=35mm] (named) at (current page.south){
+      \includegraphics[width=\paperwidth]{frama-c-guy}
+    };
+    \fill[white,path fading=fade right]
+      (named.south west) rectangle (named.north east);
+  }
+
   \vspace{12em}
   \begin{center}
     \textbf{\Huge\@title}

doc/metrics/.gitignore

 /anr-logo.png
 /eu-flag.jpg
 /frama-c-book.cls
+/frama-c-guy.png
 /metrics.pdf
 /logos
 /fc-macros.tex

doc/release/.gitignore

@@ -4,3 +4,4 @@
 /release.pdf
 /fc-macros.tex
 /logos
+/frama-c-guy.png

doc/rte/.gitignore

@@ -5,3 +5,4 @@
 /fc-macros.tex
 /logos
 /main.pdf
+/frama-c-guy.png

doc/userman/.gitignore

@@ -6,3 +6,4 @@ logos
 userman.idx
 userman.out
 userman.pdf
+frama-c-guy.png

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

@@ -8,3 +8,4 @@ fc-macros.tex
 logos
 *.fls
 *.fdb_latexmk
+frama-c-guy.png

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

@@ -10,3 +10,4 @@ fc-macros.tex
 logos
 *.fls
 *.fdb_latexmk
+frama-c-guy.png

src/plugins/wp/doc/MakeDoc

@@ -25,7 +25,7 @@
 # --------------------------------------------------------------------------
 FRAMAC_DOC= .make-class .make-images .make-icons VERSION VERSION_CODENAME
 # --------------------------------------------------------------------------
-FRAMAC_CLASS=frama-c-book.cls fc-macros.tex logos anr-logo.png
+FRAMAC_CLASS=frama-c-book.cls fc-macros.tex logos anr-logo.png frama-c-guy.png
 FRAMAC_BULLETS=never_tried.png unknown.png valid_under_hyp.png surely_valid.png
 FRAMAC_IMAGES=cealistlogo.jpg
 # --------------------------------------------------------------------------

src/plugins/wp/doc/manual/.gitignore

@@ -9,3 +9,4 @@
 /macros.tex
 /anr-logo.png
 /fc-macros.tex
+/frama-c-guy.png