# HG changeset patch
# User Franz Glasner <fzglas.hg@dom66.de>
# Date 1778696095 -7200
# Node ID 0c3507865bca33547112a8537802a74aded38ddc
# Parent  4c44b64e32cd8ef8e3138132fdd3703374eb05c5
FIX: Make the "intersphinx_mapping" compatible to Sphinx 8.

Also tested with Sphinx 5.3: works also!

diff -r 4c44b64e32cd -r 0c3507865bca docs/conf.py
--- a/docs/conf.py	Wed May 13 20:13:39 2026 +0200
+++ b/docs/conf.py	Wed May 13 20:14:55 2026 +0200
@@ -197,7 +197,7 @@
 # -- Options for intersphinx extension ---------------------------------------
 
 # Example configuration for intersphinx: refer to the Python standard library.
-intersphinx_mapping = {'https://docs.python.org/': None}
+intersphinx_mapping = {'python': ('https://docs.python.org/', None)}
 
 # -- Options for todo extension ----------------------------------------------