Add GitHub Pages docs workflow

Author: fffoivos

.github/workflows/docs.yml

@@ -0,0 +1,40 @@
+name: Build and Deploy Docs
+
+on:
+  push:
+    branches:
+      - development
+      - main
+      - master
+  workflow_dispatch:
+
+permissions:
+  contents: write
+
+jobs:
+  docs:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+
+      - name: Setup Python
+        uses: actions/setup-python@v5
+        with:
+          python-version: "3.x"
+
+      - name: Install MkDocs
+        run: |
+          python -m pip install --upgrade pip
+          pip install mkdocs mkdocs-material
+
+      - name: Build site
+        run: mkdocs build --strict
+
+      - name: Deploy to gh-pages
+        uses: peaceiris/actions-gh-pages@v3
+        with:
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          publish_dir: ./site
+          publish_branch: gh-pages
+          force_orphan: true

mkdocs.yml

@@ -42,14 +42,8 @@ nav:
       - Troubleshooting: troubleshooting.md
       - Compatibility And Regression Matrix: testing/compatibility_matrix.md
   - Reference:
-      - Corpus API: api/corpus.md
+      - Corpus API: api_corpus_tmp.md
       - Math Enrichment Runtime: math_enrichment_runtime.md
-  - Divio Skeleton:
-      - Overview: divio/overview.md
-      - Tutorials: divio/tutorials.md
-      - How-to Guides: divio/how_to_guides.md
-      - Reference: divio/reference.md
-      - Explanation: divio/explanation.md
 docs_dir: docs
 markdown_extensions:
   - admonition