From 289ced858bb4cd7092200f35ca4c79e803c1bb06 Mon Sep 17 00:00:00 2001
From: Christoph Ladurner <christoph.ladurner@tugraz.at>
Date: Mon, 22 May 2023 00:07:47 +0200
Subject: [PATCH] fix: sphinx deprecation warning for sphinx >= 8

* the format has changed
---
 docs/conf.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/conf.py b/docs/conf.py
index dbeb3023..3858a3ec 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -324,8 +324,8 @@
 
 # Example configuration for intersphinx: refer to the Python standard library.
 intersphinx_mapping = {
-    "https://docs.python.org/": None,
-    "http://pythonhosted.org/simplekv": None,
+    "python": ("https://docs.python.org/", None),
+    "simplekv": ("http://pythonhosted.org/simplekv", None),
 }
 
 # Autodoc configuraton.