From 7426c31487cf2b5f6183742c7fcde67517243a3a Mon Sep 17 00:00:00 2001
From: David Bauer <mail@david-bauer.net>
Date: Sun, 3 Dec 2023 00:19:59 +0100
Subject: [PATCH] docs: pin sphinx version

Pin the docs python dependencies to specific versions in order to
establish a consistent build-result.

Signed-off-by: David Bauer <mail@david-bauer.net>
---
 docs/requirements.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/requirements.txt b/docs/requirements.txt
index 59709ec72..65f5d70c7 100644
--- a/docs/requirements.txt
+++ b/docs/requirements.txt
@@ -1 +1,2 @@
+Sphinx==7.1.2
 sphinx-rtd-theme==2.0.0
-- 
GitLab