From 0e44205ce8ca08ac390a8c1dd523022d899b19a1 Mon Sep 17 00:00:00 2001
From: "J.Stark" <rho.ajax@gmail.com>
Date: Fri, 8 Mar 2024 16:04:43 +0100
Subject: [PATCH] editing...

---
 .github/workflows/main.yml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 67a3d3bda..b21be5d01 100644
--- 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