From eaca39b557f6f69aa5c5a3b2da6840dc372c638c Mon Sep 17 00:00:00 2001
From: Rob Gowin <robgowin@gmail.com>
Date: Fri, 30 May 2025 15:01:47 -0400
Subject: [PATCH] Add steps to commit GH action to deploy docs to GitHub Pages.

---
 .github/workflows/commit.yml | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/commit.yml b/.github/workflows/commit.yml
index 2110be86..c83d0a6c 100644
--- a/.github/workflows/commit.yml
+++ b/.github/workflows/commit.yml
@@ -25,9 +25,12 @@ jobs:
       - name: Build
         run: |
           export TZ='America/Los_Angeles'
-          sudo apt-get install srecord
+          sudo apt-get install srecord gpp pandoc
+          pip install mkdocs
           make distlog
           rm -rf .git*
+          make -C Source/Doc deploy_mkdocs
+          mkdocs build -f Source/Doc/mkdocs.yml
 
       - name: List Output
         run: |
@@ -35,6 +38,13 @@ jobs:
           ls -l
           find -type f -exec md5sum '{}' \;
 
+      - name: Deploy Docs
+        uses: peaceiris/actions-gh-pages@v4
+        if: github.ref == 'refs/heads/master'
+        with:
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          publish_dir: Source/Doc/site
+
       - name: Upload Artifact
         uses: actions/upload-artifact@v4.3.0
         with: