[build] Add documentation generation workflow.

.github/workflows/generate-docs.yml

@@ -0,0 +1,52 @@
+
+name: Generate Documentation
+
+on:
+  workflow_dispatch:
+    inputs:
+      source_ref:
+        description: 'Branch/commit/tag to checkout.'
+        required: true
+        type: string
+      dest_dir:
+        description: 'Destination directory to produce output in `docs/` folder.'
+        required: true
+        type: string
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+
+    steps:
+      - uses: actions/checkout@v3
+        with:
+          ref: ${{ inputs.source_ref }}
+
+      - name: Set up Python 3.10
+        uses: actions/setup-python@v4
+        with:
+          python-version: '3.10'
+          cache: 'pip'
+
+      - name: Install Dependencies
+        run: |
+          python -m pip install --upgrade pip build wheel virtualenv
+          pip install -r docs/requirements.txt
+
+      - name: Generate Docs
+        run: |
+          sphinx-build -b html docs build
+
+      - name: Add/Update Docs
+        run: |
+          git fetch origin gh-pages
+          git checkout gh-pages
+          git rm "docs/$DEST_DOCS_DIR" -r -f --ignore-unmatch
+          git add build/
+          git mv build "docs/$DEST_DOCS_DIR"
+          git config --global user.name github-actions
+          git config --global user.email [email protected]
+          git commit -a -m "[docs] @${{ github.triggering_actor }}: Generate Website"
+          git push
+        env:
+          DEST_DOCS_DIR: ${{ inputs.dest_dir }}

.github/workflows/generate-site.yml

@@ -31,7 +31,7 @@ jobs:
         run: |
           git fetch origin gh-pages
           git checkout gh-pages
-          git rm * -r --ignore-unmatch
+          git rm * -r -f --ignore-unmatch
           git checkout HEAD -- .nojekyll
           git checkout HEAD -- docs/
           git add build/