From a7a0029a71ad84059a14b06aef00c3996acd4084 Mon Sep 17 00:00:00 2001
From: Moritz Schlarb <schlarbm@uni-mainz.de>
Date: Mon, 30 Dec 2024 16:32:57 +0000
Subject: [PATCH] doc/conf.py: Fix intersphinx mapping format

The legacy format has been deprecated since sphinx 6.2 and is now gone since sphinx 8.0:
https://github.com/sphinx-doc/sphinx/pull/12083
---
 doc/conf.py | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/doc/conf.py b/doc/conf.py
index 223b201..6e4164d 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -216,6 +216,9 @@
      [u'parcouss'], 1)
 ]
 
+# -- Options for intersphinx extension ---------------------------------------
+# https://www.sphinx-doc.org/en/master/usage/extensions/intersphinx.html#configuration
 
-# Example configuration for intersphinx: refer to the Python standard library.
-intersphinx_mapping = {'http://docs.python.org/': None}
+intersphinx_mapping = {
+    'python': ('https://docs.python.org/3', None),
+}