Merge pull request #11379 from cabalism/bump/sphinx

Bump sphinx and rtd theme

Author: mergify[bot]

.github/workflows/users-guide.yml

@@ -44,7 +44,7 @@ jobs:
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        python-version: ['3.10']
+        python-version: ['3.13']
 
     steps:
     - uses: actions/checkout@v6

.readthedocs.yml

@@ -4,9 +4,9 @@ sphinx:
   configuration: doc/conf.py
 
 build:
-  os: "ubuntu-22.04"
+  os: "ubuntu-24.04"
   tools:
-    python: "3.8"
+    python: "3.13"
   jobs:
     post_create_environment:
       - pip install pip-tools

doc/conf.py

@@ -63,9 +63,6 @@
 if on_rtd:
     html_style = None
     using_rtd_theme = True
-else:
-    import sphinx_rtd_theme
-    html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
 
 # The name for this set of Sphinx documents.  If None, it defaults to
 # "<project> v<release> documentation".

doc/requirements.in

@@ -1,5 +1,5 @@
-sphinx == 5.3.0
-sphinx_rtd_theme >= 1.2
+sphinx == 8.2.3
+sphinx_rtd_theme >= 3.0.2
 sphinx-jsonschema
 sphinxnotes-strike
 # Pygments>=2.7.4 suggested by CVE-2021-20270 CVE-2021-27291
@@ -14,5 +14,3 @@ jinja2 >= 3.1.4
 idna >= 3.7
 # CVE-2024-35195
 requests >= 2.32.0
-# https://github.com/haskell/cabal/issues/11246
-docutils <0.18