From a7dcb6df5fa32f22d5ca39c3b91c9635b3e403ac Mon Sep 17 00:00:00 2001
From: Louis Sautier <sautier.louis@gmail.com>
Date: Sun, 20 Nov 2022 01:30:14 +0100
Subject: [PATCH] docs: fix build with recent sphinx version

See https://github.com/sphinx-doc/sphinx/issues/10474
---
 docs/conf.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/conf.py b/docs/conf.py
index 7c4fae0..05338ac 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -80,7 +80,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: