Fix path in deploy docs

.github/workflows/build-docs.yml

@@ -13,11 +13,6 @@ on:
   # This enables the Run Workflow button on the Actions tab.
   workflow_dispatch:
 
-# Set DYLAN environment variable to GITHUB_WORKSPACE so packages are
-# installed in ../../_packages relative to documentation's Makefile
-env:
-  DYLAN: ${{ github.workspace }}
-
 jobs:
 
   build-and-deploy:
@@ -36,5 +31,5 @@ jobs:
       - name: Deploy docs
         uses: JamesIves/github-pages-deploy-action@v4
         with:
-          folder: docs/build/html
+          folder: documentation/build/html
           target-folder: docs/