Adjust docs/conf.py to add compatibility with sphinx 8 (#1155)

Fixes: #1143

diff --git a/docs/conf.py b/docs/conf.py
index 08ff9a056eb79a02555c5074b292c1a04c7b8ddf..cec8d3bacfdb8e5b713ff618190c79fad23c3ead 100644 (file)
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -252,7 +252,7 @@ texinfo_documents = [
 #texinfo_show_urls = 'footnote'
 
 intersphinx_mapping = {
-    'https://docs.python.org/3/': None,
+    'python': ('https://docs.python.org/3/', None),
 }
 
 extlinks = {