From 32ae071954b0f1b595f931b6b8ba1953f2b17dc2 Mon Sep 17 00:00:00 2001
From: Matthias Schiffer <mschiffer@universe-factory.net>
Date: Sat, 26 Jun 2021 20:39:31 +0200
Subject: [PATCH] docs: pin theme version

rtd.io uses a severely outdated theme version with several known bugs by
default. Pin to a never version to get the bugfixes.
---
 docs/requirements.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/requirements.txt b/docs/requirements.txt
index 6c5d5d44e..f85be1ffb 100644
--- a/docs/requirements.txt
+++ b/docs/requirements.txt
@@ -1 +1 @@
-sphinx-rtd-theme
+sphinx-rtd-theme==0.5.2
-- 
GitLab