From 91069aecfbbdc22a98f1aa7dc9dd3160a2041538 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ole=20Sch=C3=BCtt?= <ole.schuett@cp2k.org>
Date: Mon, 31 Jul 2023 16:40:22 +0200
Subject: [PATCH] Docs: Add favicon

---
 docs/_static/favicon.png | 1 +
 docs/conf.py             | 1 +
 2 files changed, 2 insertions(+)
 create mode 120000 docs/_static/favicon.png

diff --git a/docs/_static/favicon.png b/docs/_static/favicon.png
new file mode 120000
index 0000000000..a373300268
--- /dev/null
+++ b/docs/_static/favicon.png
@@ -0,0 +1 @@
+../../tools/manual/favicon.png
\ No newline at end of file
diff --git a/docs/conf.py b/docs/conf.py
index b5a461b46c..8929cf7603 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -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