Add favicon

ipspace · Sep 24, 2024 · 3464d2d · 3464d2d
1 parent 4539311
commit 3464d2d
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 0 deletions.
diff --git a/docs/_static/images/favicon.png b/docs/_static/images/favicon.png
diff --git a/docs/conf.py b/docs/conf.py
@@ -72,6  72,7 @@
 html_context["w_dev"] = rtd_branch == "dev"
 html_context["w_latest"] = rtd_branch == "latest"
 html_show_sphinx = False
 html_favicon = '_static/images/favicon.png'
 
 on_rtd = os.environ.get("READTHEDOCS", None) == "True"