diff --git a/docs/_static/favicon.png b/docs/_static/favicon.png new file mode 100644 index 0000000000..17d8419a6c Binary files /dev/null and b/docs/_static/favicon.png differ diff --git a/docs/conf.py b/docs/conf.py index 6711fe808e..ef312f27f7 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -33,6 +33,7 @@ extensions = [ 'recommonmark', 'sphinx_rtd_theme', + "sphinx_favicon", ] # Add any paths that contain templates here, relative to this directory. @@ -62,3 +63,7 @@ def setup(app): app.add_css_file('customize.css') + +favicons = [ + "favicon.png", +] \ No newline at end of file diff --git a/docs/requirements.txt b/docs/requirements.txt index 1d9952337b..76cd3919c7 100644 --- a/docs/requirements.txt +++ b/docs/requirements.txt @@ -16,6 +16,7 @@ recommonmark==0.7.1 requests==2.31.0 snowballstemmer==2.1.0 Sphinx==4.4.0 +sphinx-favicon==1.0.1 sphinx-rtd-theme==1.0.0 sphinxcontrib-applehelp==1.0.2 sphinxcontrib-devhelp==1.0.2