editing...

owlbarn · Mar 8, 2024 · 0e44205 · 0e44205
1 parent c7dbf43
commit 0e44205
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -37,8 +37,6 @@ jobs:
       - name: Build doc
         run: | 
           opam exec -- dune build @doc
-          cp docs/*.js  _build/default/_doc/_html/
-          cp docs/*.css _build/default/_doc/_html/
 
       - name: Deploy
         uses: peaceiris/actions-gh-pages@v3