Add favicon

steveicarus · Jun 9, 2023 · f4345e2 · f4345e2
1 parent b0c1eab
commit f4345e2
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 0 deletions.
diff --git a/Documentation/conf.py b/Documentation/conf.py
@@ -99,6 +99,7 @@
 #
 # html_sidebars = {}
 
+html_favicon = 'favicon.ico'
 
 # -- Options for HTMLHelp output ---------------------------------------------
 

diff --git a/Documentation/favicon.ico b/Documentation/favicon.ico
-Original file line number
+Diff line change
@@ Expand Up / @@ -99,6 +99,7 @@ @@
     #
     # html_sidebars = {}
+    html_favicon = 'favicon.ico'
     # -- Options for HTMLHelp output ---------------------------------------------
@@ Expand Down @@