From efb80dcb87eefad2ceb785c19e3de0695c44b5ea 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 a263af5c248..ddc18c1655b 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 = "*"