diff --git a/docs/conf.py b/docs/conf.py index 3ca6352ee91..26beed37168 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -95,6 +95,8 @@ highlight_language = "none" # html_theme = 'sphinx_rtd_theme' +html_favicon = "favicon.ico" + # Theme options are theme-specific and customize the look and feel of a theme # further. For a list of options available for each theme, see the # documentation.