[Docs] Update sphinx to 5.3

This is a counterpart commit to the one in core Gramine repo. Signed-off-by: Dmitrii Kuvaiskii <dmitrii.kuvaiskii@intel.com>
gramineproject · Apr 22, 2024 · c461797 · c461797
1 parent 0d2fed2
commit c461797
Show file tree

Hide file tree

Showing 3 changed files with 12 additions and 7 deletions.
diff --git a/.readthedocs.yaml b/.readthedocs.yaml
@@ -12,3 +12,6 @@ build:
 python:
     install:
         - requirements: Documentation/requirements.txt
+
+sphinx:
+  fail_on_warning: true
diff --git a/Documentation/conf.py b/Documentation/conf.py
@@ -63,7 +63,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'
 
 # List of patterns, relative to source directory, that match files and
 # directories to ignore when looking for source files.

diff --git a/Documentation/requirements.txt b/Documentation/requirements.txt
@@ -1,7 +1,9 @@
-sphinx==1.8.0
-sphinx_rtd_theme<1
+#
+# keep versions synced with version in Debian stable
+#
 
-# jinja 3.1.0 removed quite a few functions used by sphinx
-# https://jinja.palletsprojects.com/en/3.1.x/changes/#version-3-1-0
-# https://github.com/pallets/jinja/pull/1544
-jinja2<3.1
+# https://tracker.debian.org/pkg/sphinx
+sphinx==5.3.*
+
+# https://tracker.debian.org/pkg/sphinx-rtd-theme
+sphinx_rtd_theme==1.2.*