From ffe98d22f711f56cb1856450a8287a28ce54ef6f Mon Sep 17 00:00:00 2001
From: Hugo van Kemenade <1324225+hugovk@users.noreply.github.com>
Date: Thu, 24 Oct 2024 12:26:51 +0300
Subject: [PATCH] Add html_favicon

---
 Doc/conf.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Doc/conf.py b/Doc/conf.py
index 522f433dc55a5c..785c5496f1129d 100644
--- a/Doc/conf.py
+++ b/Doc/conf.py
@@ -372,6 +372,7 @@
     },
     "navbar_align": "left",
 }
+html_favicon = "https://devguide.python.org/_static/python-logo.svg"
 html_logo = "https://devguide.python.org/_static/python-logo.svg"
 
 # if os.getenv("READTHEDOCS"):