diff --git a/doc/userman/Makefile b/doc/userman/Makefile
index ad44836f9e587d06d04d583cb1a1f8a13104100e..1fc0e53ff5e2867e7e865378fbab2e4646093743 100644
--- a/doc/userman/Makefile
+++ b/doc/userman/Makefile
@@ -22,3 +22,8 @@ install:
 
 %.pdf: %.tex
 	latexmk -pdf $<
+
+.PHONY:clean
+
+clean:
+	latexmk -c main
diff --git a/doc/userman/frama-c-book.cls b/doc/userman/frama-c-book.cls
index b50203445ecd00224e8a770f6b162aaec53544df..33d011f24f924c93e307f0030648ea7c65edd577 100644
--- a/doc/userman/frama-c-book.cls
+++ b/doc/userman/frama-c-book.cls
@@ -230,8 +230,6 @@
 % Table of contents
 % --------------------------------------------------------------------------
 
-\newcommand\tocdotfill{{\normalfont\normalsize \TOCLineLeaderFill}}
-
 \titlecontents{chapter}
   [0em]
   {\bigskip}
@@ -245,7 +243,6 @@
   {\makebox[3em][l]{\thecontentslabel}}
   {\hspace*{3em}}
   {\titlerule*[1pc]{.}\makebox[1.5em]{\contentspage}}[]
-%  {\space\tocdotfill\makebox[1.5em]{\contentspage}}[]
 
 \titlecontents{subsection}
   [5em]
@@ -253,7 +250,6 @@
   {\makebox[4.5em][l]{\thecontentslabel}}
   {\hspace*{4.5em}}
   {\titlerule*[1pc]{.}\makebox[1.5em]{\contentspage}}[]
-%  {\space\tocdotfill\makebox[1.5em]{\contentspage}}[]
 
 % --------------------------------------------------------------------------
 % Acknoledgements
diff --git a/doc/userman/frama-c-cover.pdf b/doc/userman/frama-c-cover.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..4e14243c8064ca92d696fd354476dcdb31092895
Binary files /dev/null and b/doc/userman/frama-c-cover.pdf differ
diff --git a/doc/userman/frama-c-guy.png b/doc/userman/frama-c-guy.png
new file mode 100644
index 0000000000000000000000000000000000000000..c6515ac3ed7808cb49c4f75f538b4b8a4053627e
Binary files /dev/null and b/doc/userman/frama-c-guy.png differ
diff --git a/doc/userman/frama-c-left.pdf b/doc/userman/frama-c-left.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..ddf8888d292539177ab81c1b33d6411edf51c820
Binary files /dev/null and b/doc/userman/frama-c-left.pdf differ
diff --git a/doc/userman/frama-c-right.pdf b/doc/userman/frama-c-right.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..db9b236dfdb19d9a6631ec55eee63f431f8d6f0d
Binary files /dev/null and b/doc/userman/frama-c-right.pdf differ