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