Adding HTMl deployment to GH Pages.

Adds deployment of the HTML build to GH Pages.

Author: wmat

.github/workflows/build-pdf.yml

@@ -84,3 +84,35 @@ jobs:
           GITHUB_TOKEN: ${{ secrets.GHTOKEN }}
         if: github.event_name == 'workflow_dispatch'
         # This condition ensures this step only runs for workflow_dispatch events.
+
+      - name: Make GitHub pages directory
+        run: |
+          mkdir -p dist/snapshot/riscv-c-api
+          cp build/riscv-riscv-c-api.html dist/snapshot/riscv-c-api/index.html
+        if: github.event_name == 'workflow_dispatch' || (github.event_name == 'push' && github.ref == 'refs/heads/main')
+
+      - name: Upload pages artifact
+        uses: actions/upload-pages-artifact@v3
+        with:
+          path: dist
+        if: github.event_name == 'workflow_dispatch' || (github.event_name == 'push' && github.ref == 'refs/heads/main')
+
+  # Deploy HTML to Github pages.
+  deploy:
+    if: github.event_name == 'push' && github.ref == 'refs/heads/main'
+
+    needs: build
+
+    permissions:
+      pages: write
+      id-token: write
+
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+
+    runs-on: ubuntu-latest
+    steps:
+      - name: Deploy to GitHub Pages
+        id: deployment
+        uses: actions/deploy-pages@v4