diff --git a/src/doc/user/webhelp/docs/favicon.ico b/src/doc/user/webhelp/docs/favicon.ico new file mode 100755 index 00000000..281a0368 Binary files /dev/null and b/src/doc/user/webhelp/docs/favicon.ico differ