From 410886a57a923a799a75d0166dc614f19244a2a3 Mon Sep 17 00:00:00 2001
From: Nick Rossenbach <rossenbach@i6.informatik.rwth-aachen.de>
Date: Mon, 13 Mar 2023 15:31:59 +0100
Subject: [PATCH] Update conf.py

---
 docs/conf.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/conf.py b/docs/conf.py
index 68cf3b4..fbde0af 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -70,7 +70,7 @@
 #
 # This is also used if you do content translation via gettext catalogs.
 # Usually you set "language" from the command line for these cases.
-language = None
+language = "en"
 
 # There are two options for replacing |today|: either, you set today to some
 # non-false value, then it is used: