From 84c6d693f43dc7f7b1e627b7cce91d2a9e49e5da Mon Sep 17 00:00:00 2001 From: Matthias Geier Date: Sat, 24 Oct 2020 17:20:24 +0200 Subject: [PATCH] DOC: Add favicon --- doc/_static/favicon.svg | 8 ++++++++ doc/conf.py | 1 + 2 files changed, 9 insertions(+) create mode 100644 doc/_static/favicon.svg diff --git a/doc/_static/favicon.svg b/doc/_static/favicon.svg new file mode 100644 index 00000000000..c3e1acd35e2 --- /dev/null +++ b/doc/_static/favicon.svg @@ -0,0 +1,8 @@ + + + + diff --git a/doc/conf.py b/doc/conf.py index 74e5a8b807a..8b242dc7ee2 100644 --- 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'