Add favicon

2023-06-09 14:07:28 +02:00 · 2023-06-09 14:07:28 +02:00 · f4345e2d03
parent b0c1eab51e
commit f4345e2d03
2 changed files with 1 additions and 0 deletions
--- a/Documentation/conf.py
+++ b/Documentation/conf.py
@ -99,6 +99,7 @@ html_static_path = ['_static']
 #
 # html_sidebars = {}

+html_favicon = 'favicon.ico'

 # -- Options for HTMLHelp output ---------------------------------------------

--- a/Documentation/favicon.ico
+++ b/Documentation/favicon.ico