Fix initial github workflow

OCamlPro · Jan 13, 2024 · b567ebf · b567ebf
1 parent 56aee20
commit b567ebf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ubuntu.yml b/.github/workflows/ubuntu.yml
@@ -38,7 +38,7 @@ jobs:
 
       - name: bootstrap
         run: |
-	  cd guide
+          cd guide
           make pdf
 
       - name: Upload some pdfs