diff --git a/doc/html/Makefile.am b/doc/html/Makefile.am
index 84a9a8373635a33974ce34b8b223ca8abb5deb0c..d68420bb6a06f8e0b82351c4941a70994a1cde03 100644
--- a/doc/html/Makefile.am
+++ b/doc/html/Makefile.am
@@ -109,7 +109,6 @@ html_DATA = \
 	${generated_html} \
 	allocation_pies.gif \
 	arch.gif \
-	bull.jpg \
 	coding_style.pdf \
 	configurator.html \
 	configurator.easy.html \
diff --git a/doc/html/Makefile.in b/doc/html/Makefile.in
index 3d78f8682c8064a8b373c4c5b3a0fb0fa01cc722..d0636bd26103d505e0e1f3eed52f9db45afdc496 100644
--- a/doc/html/Makefile.in
+++ b/doc/html/Makefile.in
@@ -563,7 +563,6 @@ html_DATA = \
 	${generated_html} \
 	allocation_pies.gif \
 	arch.gif \
-	bull.jpg \
 	coding_style.pdf \
 	configurator.html \
 	configurator.easy.html \