Merge pull request #639 from leocardao/mr/cardao/fix-doc-build-failure

Fix doc build failure
AdaCore · Oct 4, 2023 · 8016bdb · 8016bdb
2 parents 5f8a585 + a32777a
commit 8016bdb
Showing 1 changed file with 3 additions and 2 deletions.
diff --git 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