Fix doc build with Sphinx 8.

Romain-Geissler-1A · Romain-Geissler-1A · commit 10df8765b475 · 2025-01-26T22:29:09.000Z
See this Fedora failure following the upgrade to Sphinx 8: https://bugzilla.redhat.com/show_bug.cgi?id=2329853
diff --git a/docs/conf.py b/docs/conf.py
@@ -291,4 +291,4 @@
 
 
 # Example configuration for intersphinx: refer to the Python standard library.
-intersphinx_mapping = {'https://docs.python.org/': None}
+intersphinx_mapping = {'python': ('https://docs.python.org/3', None)}

Original file line number	Diff line number	Diff line change
`@@ -291,4 +291,4 @@`
`291`	`291`
`292`	`292`
`293`	`293`	`# Example configuration for intersphinx: refer to the Python standard library.`
`294`		`-intersphinx_mapping = {'https://docs.python.org/': None}`
	`294`	`+intersphinx_mapping = {'python': ('https://docs.python.org/3', None)}`