DO NOT MERGE: updated GitHub actions for github pages deployment

.github/workflows/presubmit.yml

@@ -2,6 +2,8 @@ name: Presubmit
 
 permissions:
   contents: read
+  pages: write
+  id-token: write
 
 # Controls when the action will run.
 on:
@@ -18,6 +20,9 @@ jobs:
     # prevent caching problems when updating the image.
     # container: khronosgroup/docker-images:asciidoctor-spec.20240702
     container: khronosgroup/docker-images@sha256:4aab96a03ef292439c9bd0f972adfa29cdf838d0909b1cb4ec2a6d7b2d14a37f
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
 
     steps:
       - uses: actions/checkout@v4
@@ -58,3 +63,17 @@ jobs:
       - name: Generate reference pages
         run: |
           python3 makeSpec -spec khr OUTDIR=out.refpages -j -O manhtmlpages
+
+      - name: Build specs for deployment (HTML and PDF)
+        run: |
+          python3 makeSpec -clean -spec khr+ext OUTDIR=out.deploy -j api c env ext
+
+      - 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

copyrights.txt

@@ -1,3 +1,8 @@
+THIS IS A PREVIEW SPECIFICATION BUILD TO REVIEW IN-FLIGHT CHANGES!
+
+Published specifications may be found on the Khronos OpenCL Registry; see
+https://registry.khronos.org/OpenCL/.
+
 Copyright 2008-2024 The Khronos Group Inc.
 
 This Specification is protected by copyright laws and contains material proprietary to Khronos.