Use mike to versionise the website.

gouttegd · gouttegd · commit 6d8cd0123c2a · 2026-04-22T18:58:12.000+01:00
Add `mike` as a documentation dependency and configure mkdocs to use it.
This allows to versionise the entire website.
diff --git a/.github/workflows/deploy_documentation.yml b/.github/workflows/deploy_documentation.yml
@@ -55,4 +55,4 @@ jobs:
       #----------------------------------------------
       - name: Deploy web-based documentation to GitHub Pages
         run: |
-          make mkd-gh-deploy
+          make deploy-doc
diff --git a/Makefile b/Makefile
@@ -102,6 +102,9 @@ MKDOCS = $(RUN) --all-groups mkdocs
 mkd-%:
 	$(MKDOCS) $*
 
+deploy-doc:
+	$(RUN) mike deploy --push dev
+
 PROJECT_FOLDERS = sqlschema shex shacl protobuf prefixmap owl jsonschema jsonld graphql excel
 git-init-add: git-init git-add git-commit git-status
 git-init:
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -9,6 +9,9 @@ theme:
   #    primary: cyan
   features:
     - content.tabs.link
+extra:
+  version:
+    provider: mike
 plugins:
   - search
   - mermaid2
diff --git a/pyproject.toml b/pyproject.toml
@@ -40,6 +40,7 @@ tests = [
 docs = [
     "mkdocs-material==9.0.0",
     "mkdocs-mermaid2-plugin==1.1.1",
+    "mike"
 ]
 
 [tool.poetry]
diff --git a/uv.lock b/uv.lock
