minor fix

owlbarn · Mar 6, 2024 · af38584 · af38584
1 parent 06f898c
commit af38584
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -29,7 +29,7 @@ jobs:
         run: | 
             opam exec -- dune build @doc 
             cat docs/mathjax.js docs/highlight.pack.js >> _build/default/_doc/_html/highlight.pack.js
-	          cp -r _build/default/_doc/_html/* docs
+            cp -r _build/default/_doc/_html/* docs
       
       - name: Deploy
         uses: peaceiris/actions-gh-pages@v3