diff --git a/doc/MakeLaTeXModern b/doc/MakeLaTeXModern index 2067d82c3aeb8c130d014fa6bc189bfad743f7a1..fd5a01480cd307c4ba842623adb17af2f053c32f 100644 --- a/doc/MakeLaTeXModern +++ b/doc/MakeLaTeXModern @@ -1,5 +1,5 @@ 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 $< . diff --git a/doc/aorai/.gitignore b/doc/aorai/.gitignore index 9d46210208788af111b4d814e94995b7f34a0559..6a221921fab276e8a0562d04cb7d688a80d69827 100644 --- a/doc/aorai/.gitignore +++ b/doc/aorai/.gitignore @@ -1 +1,2 @@ /transf.cm* +/transf diff --git a/doc/developer/.gitignore b/doc/developer/.gitignore index 13fff2e3450d4b314e878a4d3f3dcd841f201649..13351af6250bbe72a94cd3cb696bb24ebc74cac3 100644 --- a/doc/developer/.gitignore +++ b/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/ diff --git a/doc/eva/.gitignore b/doc/eva/.gitignore index 29354296e97dd657cfc8f2f71d7d62b9b8d452b9..f0fe5f9ebbe02db28d816333079a6f6102b481b9 100644 --- a/doc/eva/.gitignore +++ b/doc/eva/.gitignore @@ -1,5 +1,6 @@ /anr-logo.png /eu-flag.jpg +/frama-c-guy.png /frama-c-book.cls /main.pdf /logos diff --git a/doc/frama-c-book.cls b/doc/frama-c-book.cls index 39151e915df0c313cc2bc55ad9a2b1a09a038141..02deb21b04bd003273f090706981bd8d075edb35 100644 --- a/doc/frama-c-book.cls +++ b/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} diff --git a/doc/frama-c-guy.png b/doc/frama-c-guy.png new file mode 100644 index 0000000000000000000000000000000000000000..c6515ac3ed7808cb49c4f75f538b4b8a4053627e Binary files /dev/null and b/doc/frama-c-guy.png differ diff --git a/doc/metrics/.gitignore b/doc/metrics/.gitignore index a51348c397434abe7af3b018702dc72de0260b11..f599e2bb6e7bb61c5e5e357463d53e0b949119c5 100644 --- a/doc/metrics/.gitignore +++ b/doc/metrics/.gitignore @@ -1,6 +1,7 @@ /anr-logo.png /eu-flag.jpg /frama-c-book.cls +/frama-c-guy.png /metrics.pdf /logos /fc-macros.tex diff --git a/doc/release/.gitignore b/doc/release/.gitignore index 83a46ab116d3bf74b6080246fd061f79d54ad03f..46cb0ea4796b3412350bfc6ae30a833dce3395d0 100644 --- a/doc/release/.gitignore +++ b/doc/release/.gitignore @@ -4,3 +4,4 @@ /release.pdf /fc-macros.tex /logos +/frama-c-guy.png diff --git a/doc/rte/.gitignore b/doc/rte/.gitignore index 89a70250372e530d5e08302ff1de19d4cca9e839..6ed782f7635f8c1e42ad04c22f3c776d4d8593f8 100644 --- a/doc/rte/.gitignore +++ b/doc/rte/.gitignore @@ -5,3 +5,4 @@ /fc-macros.tex /logos /main.pdf +/frama-c-guy.png diff --git a/doc/userman/.gitignore b/doc/userman/.gitignore index 68d73f9e795bab5c3388735d975f1ab8a70c44c6..53489defd39f6961c7f5681f6e39462bc711a7a5 100644 --- a/doc/userman/.gitignore +++ b/doc/userman/.gitignore @@ -6,3 +6,4 @@ logos userman.idx userman.out userman.pdf +frama-c-guy.png diff --git a/src/plugins/e-acsl/doc/refman/.gitignore b/src/plugins/e-acsl/doc/refman/.gitignore index f9c6a2942e27bf9746e5645ed53a2f5388757865..6ab09b0f9a2d0ed039249502d7cae4f0c19ffd42 100644 --- a/src/plugins/e-acsl/doc/refman/.gitignore +++ b/src/plugins/e-acsl/doc/refman/.gitignore @@ -8,3 +8,4 @@ fc-macros.tex logos *.fls *.fdb_latexmk +frama-c-guy.png diff --git a/src/plugins/e-acsl/doc/userman/.gitignore b/src/plugins/e-acsl/doc/userman/.gitignore index b89e361862c7254e7d5f40030e099f01e2438198..a06c223d2a6bb7ebf1efb63de47b1500b42db862 100644 --- a/src/plugins/e-acsl/doc/userman/.gitignore +++ b/src/plugins/e-acsl/doc/userman/.gitignore @@ -10,3 +10,4 @@ fc-macros.tex logos *.fls *.fdb_latexmk +frama-c-guy.png diff --git a/src/plugins/wp/doc/MakeDoc b/src/plugins/wp/doc/MakeDoc index 54cb6b118b3990b1819993724442be79e8e93235..bfec7807705eec5494dc4e7e98f0a50ce9244778 100644 --- a/src/plugins/wp/doc/MakeDoc +++ b/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 # -------------------------------------------------------------------------- diff --git a/src/plugins/wp/doc/manual/.gitignore b/src/plugins/wp/doc/manual/.gitignore index ae43a86a634148a0a0314d6b19a1bf951803dae7..42ebb7187bdffd9b76dbf84d347b1a46fe518073 100644 --- a/src/plugins/wp/doc/manual/.gitignore +++ b/src/plugins/wp/doc/manual/.gitignore @@ -9,3 +9,4 @@ /macros.tex /anr-logo.png /fc-macros.tex +/frama-c-guy.png