Add favicon

8 years ago · 88fb058376
parent 5bf74ac70d
commit 88fb058376
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