From a32777a6c0ddaa11c9eceb247fd94f86719c584e 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 | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/docs/requirements.txt b/docs/requirements.txt index b4154a95..96c64466 100644 --- a/docs/requirements.txt +++ b/docs/requirements.txt @@ -1,2 +1,3 @@ -sphinx==5.3.0 -sphinx-autoapi +sphinx==7.2.6 +sphinx-autoapi==3.0.0 +sphinx_rtd_theme==1.3.0