Fixing documentation build, because for whatever random Python reason…

… it decided to stop working at some point.

.github/workflows/deploy-documentation.yml

@@ -1,21 +1,21 @@
-name: deploy-documentation
-run-name: "Deploy Documentation"
-
-on:
-  push:
-    branches:
-      - master
-
-jobs:
-  deploy:
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v2
-      - uses: actions/setup-python@v2
-        with:
-          python-version: 3.x
-      - run: >
-          cd docs;
-          pip install -r requirements.txt;
-          export ENABLED_HTMLPROOFER=true;
+name: deploy-documentation
+run-name: "Deploy Documentation"
+
+on:
+  push:
+    branches:
+      - master
+
+jobs:
+  deploy:
+    runs-on: ubuntu-latest
+    container:
+      image: python:3.11
+    steps:
+      - uses: actions/checkout@v2
+      - run: git config --global --add safe.directory "*";
+      - run: >
+          cd docs;
+          pip install -r requirements.txt;
+          export ENABLED_HTMLPROOFER=true;
           mkdocs gh-deploy --force --strict;

docs/requirements.txt

@@ -1,5 +1,6 @@
+pathspec
 mkdocs == 1.4.2
-mkdocs-awesome-pages-plugin 
-mkdocs-static-i18n 
+mkdocs-awesome-pages-plugin
+mkdocs-static-i18n
 mkdocs-macros-plugin
 mkdocs-htmlproofer-plugin