Update URL mapping on W3C site after each release

.github/workflows/create-release.yml

@@ -21,7 +21,7 @@ jobs:
     - name: Update Externals
       run: |
         git submodule update --remote
-    - name: commit changed files
+    - name: Commit changed files
       uses: stefanzweifel/[email protected]
       with:
         commit_message: Apply automatic changes
@@ -38,6 +38,14 @@ jobs:
 #      uses: docker://calibreapp/github-image-actions
 #      env:
 #        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+    - name: Generate list of resources
+      run: |
+        find ./_site -type f | sed 's,^\.\/_site,,' | sort > ./_site/manifest.txt
+    - name: Publish to gh-pages
+      uses: peaceiris/actions-gh-pages@v3
+      with:
+        github_token: ${{ secrets.GITHUB_TOKEN }}
+        publish_dir: _site
     - name: Zip Files
       uses: montudor/[email protected]
       with:
@@ -50,6 +58,11 @@ jobs:
         asset_name: build.zip
         tag: ${{ github.ref }}
         overwrite: true
+    - name: Update URL mapping on W3C site
+      uses: fjogeleit/http-request-action@master
+      with:
+        url: 'https://www.w3.org/services/update-wai-map'
+        method: 'POST'
     # - name: Check Links
     #   uses: peter-evans/[email protected]
     #   with: