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.