Remove unnecessary .doctrees folder

RBniCS · Nov 29, 2023 · 1426eca · 1426eca
1 parent a5d3c7d
commit 1426eca
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/website.yml b/.github/workflows/website.yml
@@ -37,6 +37,9 @@ jobs:
         run: |
           sudo chown $USER _build -R
           echo "www.rbnicsproject.org" > _build/html/CNAME
+      - name: Remove unnecessary .doctrees folder
+        run: |
+          rm -rf _build/html/.doctrees
       - name: Deploy to GitHub pages
         if: github.repository == 'RBniCS/rbnicsproject.org' && github.ref == 'refs/heads/main'
         run: |