[patch] Fix sphinxdoc intersphinx_mapping bug

sphinxdoc-intersphinx_mapping.patch (text/plain), 474 bytes, created by Brendan Kirby on 2024-12-16 03:11:15 UTC

diff -ru a/bindings/python/docs/source/conf.py b/bindings/python/docs/source/conf.py
--- a/bindings/python/docs/source/conf.py	2024-03-09 18:51:31.000000000 -0800
+++ b/bindings/python/docs/source/conf.py	2024-12-15 18:38:17.940395132 -0800
@@ -206,4 +206,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)}