Update documentation.yml

alejandrogallo · Oct 30, 2024 · 129bf90 · 129bf90
1 parent 17c8e2d
commit 129bf90
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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