From e8408d292cac15d86eed91df7827b9c2f3b43f5f Mon Sep 17 00:00:00 2001
From: Florian Spreckelsen <f.spreckelsen@indiscale.com>
Date: Thu, 19 Dec 2024 16:44:51 +0100
Subject: [PATCH] FIX: Remove unused and broken intersphinx mapping
---
src/doc/conf.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/doc/conf.py b/src/doc/conf.py
index 24ef8545..429e7bec 100644
--- a/src/doc/conf.py
+++ b/src/doc/conf.py
@@ -196,7 +196,7 @@ primary_domain = 'js' # Not strictly necessary?
# -- Options for intersphinx extension ---------------------------------------
# Example configuration for intersphinx: refer to the Python standard library.
-intersphinx_mapping = {'https://docs.python.org/': None}
+intersphinx_mapping = {}
# TODO Which options do we want?
autodoc_default_options = {
--
GitLab