docs: move public docs generation to local workflow

.github/workflows/publish-docs.yml

@@ -23,30 +23,18 @@ jobs:
       - name: Checkout repository
         uses: actions/checkout@v4
 
-      - name: Install tooling
+      - name: Ensure committed docs/public exists
         run: |
-          sudo apt-get update
-          sudo apt-get install -y graphviz jq python3 python3-pip
+          test -d docs/public
+          test -n "$(find docs/public -mindepth 1 -print -quit)"
 
-          if ! docker compose version >/dev/null 2>&1; then
-            sudo apt-get install -y docker-compose-v2 || sudo apt-get install -y docker-compose || true
-          fi
-
-          if ! docker compose version >/dev/null 2>&1; then
-            echo "docker compose CLI is unavailable on this runner" >&2
-            exit 1
-          fi
-
-          python3 -m pip install --user mkdocs pyyaml jinja2
-
-      - name: Generate documentation
+      - name: Install MkDocs
         run: |
-          chmod +x scripts/docs/*.sh
-          scripts/docs/generate-all.sh
+          python3 -m pip install --user mkdocs
 
-      - name: Build MkDocs site
+      - name: Build public MkDocs site
         run: |
-          python3 -m mkdocs build --strict
+          python3 -m mkdocs build --strict -f mkdocs-public.yml -d site-public
 
       - name: Configure GitHub Pages
         uses: actions/configure-pages@v5
@@ -54,7 +42,7 @@ jobs:
       - name: Upload GitHub Pages artifact
         uses: actions/upload-pages-artifact@v3
         with:
-          path: site
+          path: site-public
 
   deploy:
     runs-on: ubuntu-latest