From 129bf906f8b67722e77f816e4f461d51228517e1 Mon Sep 17 00:00:00 2001
From: Alejandro Gallo <aamsgallo@gmail.com>
Date: Wed, 30 Oct 2024 18:11:49 +0100
Subject: [PATCH] Update documentation.yml

---
 .github/workflows/documentation.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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