From e00da038e6679458ea987903d1165fee137789b1 Mon Sep 17 00:00:00 2001
From: Richard Steinmetz <richard@steinmetz.cloud>
Date: Wed, 11 Jan 2023 12:47:52 +0100
Subject: [PATCH] fix: pin sphinx-rtd-theme to fix missing jquery lib

JQuery was removed as of Sphinx 6. The maintainers of our theme already
reacted to this but the release is not final yet.
Ref https://github.com/sphinx-doc/sphinx/issues/10070
Ref https://github.com/readthedocs/sphinx_rtd_theme/pull/1385

Signed-off-by: Richard Steinmetz <richard@steinmetz.cloud>
---
 Pipfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Pipfile b/Pipfile
index a263af5c2..ddc18c165 100644
--- a/Pipfile
+++ b/Pipfile
@@ -7,7 +7,7 @@ verify_ssl = true
 
 [packages]
 rst2pdf = "*"
-sphinx-rtd-theme = "*"
+sphinx-rtd-theme = "==1.2.0rc2"
 Sphinx = "*"
 Pillow = "*"