From 1ac225a0a6c1e51058f69ce1a20e2436ff2a8091 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 = "*"