Merge pull request #8334 from mgeier/doc-favicon

DOC: Add favicon
sphinx-doc · Oct 25, 2020 · f265690 · f265690
2 parents bb6ee31 + 84c6d69
commit f265690
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 0 deletions.
diff --git a/doc/_static/favicon.svg b/doc/_static/favicon.svg
diff --git a/doc/conf.py b/doc/conf.py
@@ -28,6 +28,7 @@
 html_additional_pages = {'index': 'index.html'}
 html_use_opensearch = 'https://www.sphinx-doc.org/en/master'
 html_baseurl = 'https://www.sphinx-doc.org/en/master/'
+html_favicon = '_static/favicon.svg'
 
 htmlhelp_basename = 'Sphinxdoc'