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