docs: added `favicon.ico`

2 files changed, 1 insertions, 1 deletions

diff --git a/docs/_themes/local/static/favicon.ico b/docs/_themes/local/static/favicon.ico
new file mode 100644
index 000000000..5db148ff4
--- /dev/null
+++ b/docs/_themes/local/static/favicon.ico
diff --git a/docs/conf.py b/docs/conf.py
index d327e2c5a..772d88498 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -116,7 +116,7 @@ html_theme_path = ['_themes']
 # The name of an image file (within the static path) to use as favicon of the
 # docs.  This file should be a Windows icon file (.ico) being 16x16 or 32x32
 # pixels large.
-#html_favicon = None
+html_favicon = 'favicon.ico'
 
 # Add any paths that contain custom static files (such as style sheets) here,
 # relative to this directory. They are copied after the builtin static files,