From a716bae5065a887b0a1f81e98c15278ece308b22 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?L=C3=A9o=20Cardao?= Date: Wed, 4 Oct 2023 15:48:57 +0200 Subject: [PATCH] Fix doc build failure Last time, the doc build failed because rtd was not fully supported by Sphinx7. (See: https://github.com/readthedocs/sphinx_rtd_theme/issues/1463) This problem has now been corrected, so we want to use the latest rtd-compatible version of Sphinx. Also fix the requirements version used in order to avoid future build failure. --- docs/requirements.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/requirements.txt b/docs/requirements.txt index b4154a95..68736ef0 100644 --- a/docs/requirements.txt +++ b/docs/requirements.txt @@ -1,2 +1,2 @@ -sphinx==5.3.0 +sphinx sphinx-autoapi