Add steps to commit GH action to deploy docs to GitHub Pages.

.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: