From 9ce2e6f18d69c1f2fecbb2e6f22bea089d9c8721 Mon Sep 17 00:00:00 2001
From: Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
Date: Sat, 13 Jan 2024 22:40:10 +0100
Subject: [PATCH] Fix workflow... again

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

diff --git a/.github/workflows/ubuntu.yml b/.github/workflows/ubuntu.yml
index f799577..7b73447 100644
--- a/.github/workflows/ubuntu.yml
+++ b/.github/workflows/ubuntu.yml
@@ -65,5 +65,5 @@ jobs:
       - name: Generate INFO
         run: |
           cd guide
-	  rm -rf info
+          rm -rf info
           make info