diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
index 0ea6f39..2dd0778 100644
--- a/.github/workflows/documentation.yml
+++ b/.github/workflows/documentation.yml
@@ -31,7 +31,7 @@ jobs:
 
     - name: html
       run: |
-        make readme.html
+        ${WITH_SHELL} 'make readme.html'
         mv readme.html build/index.html
 
     - name: Deploy