diff --git a/src/plugins/wp/doc/.gitignore b/src/plugins/wp/doc/.gitignore
index fb69883f1c12df2485661e790fe77671c0f97e40..29d54294ae4a45e38bb133101ea89df7ff91d4dc 100644
--- a/src/plugins/wp/doc/.gitignore
+++ b/src/plugins/wp/doc/.gitignore
@@ -1,4 +1,8 @@
 frama-c-book.cls
+frama-c-cover.pdf
+frama-c-left.pdf
+frama-c-right.pdf
 frama-c-affiliation.tex
+cealistlogo.jpg
 feedback
 /html
diff --git a/src/plugins/wp/doc/coqdoc/.gitignore b/src/plugins/wp/doc/coqdoc/.gitignore
new file mode 100644
index 0000000000000000000000000000000000000000..7426caf74d332c135faf80d7286cb91126bf2095
--- /dev/null
+++ b/src/plugins/wp/doc/coqdoc/.gitignore
@@ -0,0 +1,2 @@
+/VERSION
+/VERSION_CODENAME
diff --git a/src/plugins/wp/doc/manual/cealistlogo.jpg b/src/plugins/wp/doc/manual/cealistlogo.jpg
deleted file mode 100644
index 966be5a8ff6d50d9a7f50759633ca144c4c5db1c..0000000000000000000000000000000000000000
Binary files a/src/plugins/wp/doc/manual/cealistlogo.jpg and /dev/null differ
diff --git a/src/plugins/wp/doc/manual/frama-c-cover.pdf b/src/plugins/wp/doc/manual/frama-c-cover.pdf
deleted file mode 100644
index 4e14243c8064ca92d696fd354476dcdb31092895..0000000000000000000000000000000000000000
Binary files a/src/plugins/wp/doc/manual/frama-c-cover.pdf and /dev/null differ
diff --git a/src/plugins/wp/doc/manual/frama-c-left.pdf b/src/plugins/wp/doc/manual/frama-c-left.pdf
deleted file mode 100644
index ddf8888d292539177ab81c1b33d6411edf51c820..0000000000000000000000000000000000000000
Binary files a/src/plugins/wp/doc/manual/frama-c-left.pdf and /dev/null differ
diff --git a/src/plugins/wp/doc/manual/frama-c-right.pdf b/src/plugins/wp/doc/manual/frama-c-right.pdf
deleted file mode 100644
index db9b236dfdb19d9a6631ec55eee63f431f8d6f0d..0000000000000000000000000000000000000000
Binary files a/src/plugins/wp/doc/manual/frama-c-right.pdf and /dev/null differ