From 0c3717f0f089361eae66ef8477710147bac5f4b1 Mon Sep 17 00:00:00 2001
From: Jakob Keller <57402305+jakob-keller@users.noreply.github.com>
Date: Sat, 24 Aug 2024 15:27:47 +0200
Subject: [PATCH] set `default_role = 'any'` in Sphinx configuration

---
 docs/conf.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/docs/conf.py b/docs/conf.py
index 2f51dbd3..0d2874a1 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -184,3 +184,5 @@
 
 # Example configuration for intersphinx: refer to the Python standard library.
 intersphinx_mapping = {'python': ('https://docs.python.org/3', None)}
+
+default_role = 'any'