diff --git a/tools/doc/html/banner4.jpg b/tools/doc/html/banner4.jpg
new file mode 100644
index 000000000..a234de06f
Binary files /dev/null and b/tools/doc/html/banner4.jpg differ