DO NOT MERGE: updated GitHub actions for github pages deployment

.github/workflows/presubmit.yml

@@ -2,13 +2,18 @@ name: Presubmit
 
 permissions:
   contents: read
+  pages: write
+  id-token: write
 
 on: [push, pull_request]
 
 jobs:
   build:
     name: Build all specs
     runs-on: ubuntu-latest
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
 
     steps:
       - uses: actions/checkout@v4
@@ -47,3 +52,17 @@ jobs:
       - name: Validate XML
         run: |
           make -C xml validate
+
+      - name: Build specs for deployment (HTML and PDF)
+        run: |
+          python3 makeSpec -clean -spec khr OUTDIR=out.deploy -j5 api c env
+
+      - name: Upload artifacts
+        uses: actions/upload-pages-artifact@v3
+        with:
+          path: out.deploy
+          retention-days: "1"
+
+      - name: Deploy to GitHub Pages
+        id: deployment
+        uses: actions/deploy-pages@v4