chore: fix versioning of Sphinx in GH Actions

.devcontainer/alma9/requirements.txt

@@ -2,4 +2,3 @@ pre-commit==3.7.1
 pytest==8.2.2
 pytest-cov==5.0.0
 coverage[toml]==7.5.3
-sphinx==7.3.7

.github/workflows/main-docs-deploy.yml

@@ -35,7 +35,7 @@ jobs:
       - uses: ammaraskar/sphinx-action@dev
         with:
           docs-folder: "docs/"
-          pre-build-command: "pip install -r docs/requirements.txt"
+          pre-build-command: "pip install -r docs/requirements.txt --force-reinstall"
       - name: Upload artifact
         uses: actions/upload-pages-artifact@v3
         with:

.github/workflows/pr-docs-check.yml

@@ -10,7 +10,7 @@ jobs:
     - uses: ammaraskar/sphinx-action@dev
       with:
         docs-folder: "docs/"
-        pre-build-command: "pip install -r docs/requirements.txt"
+        pre-build-command: "pip install -r docs/requirements.txt --force-reinstall"
 
     - uses: actions/upload-artifact@v4
       with:

docs/Makefile

@@ -8,11 +8,16 @@ SPHINXBUILD   ?= sphinx-build
 SOURCEDIR     = source
 BUILDDIR      = build
 
+PYTHON = python3
+
 # Put it first so that "make" without argument is like "make help".
 help:
 	@$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
 
-.PHONY: help Makefile
+serve:
+	@$(PYTHON) -m http.server --directory build/html
+
+.PHONY: help Makefile serve
 
 # Catch-all target: route all unknown targets to Sphinx using the new
 # "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).

docs/requirements.txt

@@ -1 +1,2 @@
+Sphinx==7.3.7
 sphinx_autodoc_typehints==2.1.1