CI: Use uv on RTD

.readthedocs.yml

@@ -10,22 +10,36 @@ version: 2
 build:
   os: "ubuntu-22.04"
   tools:
-    python: "3.12"
+    python: "3.13"
   apt_packages:
     - plantuml
 
-  # Bundle assets, because `pip install --editable=.` does not do it.
   jobs:
+
+    # Install `uv`.
+    # https://docs.readthedocs.io/en/stable/build-customization.html#install-dependencies-with-uv
+    create_environment:
+      - asdf plugin add uv
+      - asdf install uv latest
+      - asdf global uv latest
+      - uv venv
+
+    # Install dependencies using `uv`.
+    install:
+      - uv pip install -r docs/requirements.txt
+
+    # Bundle assets, because `pip install --editable=.` does not do it.
     pre_build:
       - make bundle-develop
       - cd docs; make bundle-assets
 
+    # Invoke the build also using `uv`.
+    build:
+      html:
+        - uv run sphinx-build -T -b html docs $READTHEDOCS_OUTPUT/html
+
 # Build documentation in the docs/ directory with Sphinx
 sphinx:
   builder: html
   configuration: docs/conf.py
   fail_on_warning: true
-
-python:
-  install:
-    - requirements: docs/requirements.txt

docs/requirements.txt

@@ -1,3 +1,3 @@
-# Install the local crate-docs-theme package by specifying parent directory,
-# because `pip` is run from there.
+# Install the `crate-docs-theme` package from the local working tree
+# in editable mode. `pip` is invoked from the root directory.
 --editable=.