diff --git a/docs/manual/favicon.ico b/docs/manual/favicon.ico
new file mode 100644
index 000000000..9dbc258f2
Binary files /dev/null and b/docs/manual/favicon.ico differ