diff --git a/source/conf.py b/source/conf.py index 8448f4d8..55196c06 100644 --- a/source/conf.py +++ b/source/conf.py @@ -132,7 +132,7 @@ html_theme_path = sphinx_bootstrap_theme.get_html_theme_path() # the docs. This file should be a Windows icon file (.ico) being 16x16 or 32x32 # pixels large. # -# html_favicon = None +html_favicon = "manual.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, diff --git a/source/manual.ico b/source/manual.ico new file mode 100644 index 00000000..1b381a89 Binary files /dev/null and b/source/manual.ico differ