Docs: Add favicon

This commit is contained in:
Ole Schütt 2023-07-31 16:40:22 +02:00 committed by Ole Schütt
parent ebf5b8bd73
commit 91069aecfb
2 changed files with 2 additions and 0 deletions

1
docs/_static/favicon.png vendored Symbolic link
View file

@ -0,0 +1 @@
../../tools/manual/favicon.png

View file

@ -33,6 +33,7 @@ suppress_warnings = ["app", "ref", "index"]
html_theme = "sphinx_rtd_theme"
html_static_path = ["_static"]
html_favicon = "_static/favicon.png"
# add_module_names = False