diff --git a/headers/header_spec.txt b/headers/header_spec.txt
index d52363f4281bd136fe28d7872fbaf083cd1f9b7c..5530a684e628f6bcb720d5e648007616a3a5881f 100644
--- a/headers/header_spec.txt
+++ b/headers/header_spec.txt
@@ -1691,7 +1691,6 @@ src/plugins/wp/doc/coqdoc/typed_generated.tex: .ignore
 src/plugins/wp/doc/coqdoc/wpcoq.tex: .ignore
 src/plugins/wp/doc/manual/.gitignore: .ignore
 src/plugins/wp/doc/manual/Makefile: .ignore
-src/plugins/wp/doc/manual/cealistlogo.jpg: .ignore
 src/plugins/wp/doc/manual/mem.pdf: .ignore
 src/plugins/wp/doc/manual/size_base.pdf: .ignore
 src/plugins/wp/doc/manual/size_compl.pdf: .ignore