ci(docs): migrate from mkdocs to properdocs

.github/workflows/build_docs.yml

@@ -13,7 +13,7 @@ on:
       - .github/actions/setup-python/action.yml
       - .github/workflows/build_docs.yml
       - docs/**
-      - mkdocs.yml
+      - properdocs.yml
   workflow_dispatch:
 
 concurrency:
@@ -50,7 +50,7 @@ jobs:
           path: .cache
           restore-keys: |
             mkdocs-material-
-      - name: Run mkdocs
+      - name: Run properdocs
         env:
           DISABLE_MKDOCS_2_WARNING: 'true'
-        run: mkdocs gh-deploy --force
+        run: properdocs gh-deploy --force

pyproject.toml

@@ -60,7 +60,11 @@ extra = [{ include-group = "pre-commit" }]
 lint = [{ include-group = "pyright" }, { include-group = "ruff" }]
 test = [{ include-group = "pytest" }]
 
-mkdocs = ["mkdocs-material[imaging]>=9.7", "mkdocs-redirects~=1.2"]
+mkdocs = [
+    "mkdocs-material[imaging]>=9.7",
+    "mkdocs-redirects~=1.2",
+    "properdocs",
+]
 pre-commit = ["pre-commit~=4.2"]
 pyinstaller = ["Pyinstaller~=6.21"]
 pyright = ["pyright~=1.1.409"]