Fix workflow... again

OCamlPro · Jan 13, 2024 · 9ce2e6f · 9ce2e6f
1 parent 8cd019e
commit 9ce2e6f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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