Add favicon

8 years ago · dee3766fed
parent 9e727bd6bd
commit dee3766fed
2 changed files with 1 additions and 1 deletions
--- 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,
--- a/source/manual.ico
+++ b/source/manual.ico