Remove deploy code from action

Remove code from action that deploys documentation to GH Pages.

Author: fraya

.github/workflows/build-and-check-documentation.yml

@@ -9,10 +9,6 @@ on:
   # This enables the Run Workflow button on the Actions tab.
   workflow_dispatch:
 
-# https://github.com/JamesIves/github-pages-deploy-action#readme
-permissions:
-    contents: write
-
 # Set DYLAN environment variable to GITHUB_WORKSPACE so packages are
 # installed in ../../_packages relative to documentation's Makefile
 env:
@@ -46,11 +42,3 @@ jobs:
         with:
           name: command-line-parser
           path: documentation/build/html/
-
-      - name: Bypassing Jekyll on GH Pages
-        run: sudo touch documentation/build/html/.nojekyll
-
-      - name: Deploy docs to GH pages
-        uses: JamesIves/github-pages-deploy-action@v4
-        with:
-          folder: documentation/build/html