diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
index 5e9ddd10bdf..8bd2ba16bbd 100644
--- a/.github/workflows/documentation.yml
+++ b/.github/workflows/documentation.yml
@@ -40,7 +40,7 @@ jobs:
     # Deploy to the github-pages environment:
     environment:
       name: github-pages
-      url: ${{ steps.deployment.outputs.page_url }}
+      url: ${{ steps.change-page-url.outputs.new_page_url }}
 
     # Specify runner + deployment step:
     runs-on: ubuntu-latest
@@ -48,3 +48,8 @@ jobs:
       - name: Deploy to GitHub Pages
         id: deployment
         uses: actions/deploy-pages@v4
+      # Work around the fact that the path cannot be specified with deploy-pages
+      # https://github.com/orgs/community/discussions/37267#discussioncomment-4012060
+      - name: Override page_url
+        id: change-page-url
+        run: echo "new_page_url=${{ steps.deployment.outputs.page_url }}esp-hal/" >> $GITHUB_OUTPUT