Add favicon to documentation

fzi-forschungszentrum-informatik · May 16, 2024 · 112a2fd · 112a2fd
1 parent 4f64fce
commit 112a2fd
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 0 deletions.
diff --git a/docs/_static/robot_folders.ico b/docs/_static/robot_folders.ico
diff --git a/docs/conf.py b/docs/conf.py
@@ -31,3 +31,4 @@
 html_theme = "alabaster"
 html_static_path = ["_static"]
 html_logo = "_static/robot_folders.svg"
+html_favicon = "_static/robot_folders.ico"