Remove unnecessary .doctrees folder

multiphenics · Nov 29, 2023 · 69b66b9 · 69b66b9
1 parent 0174af5
commit 69b66b9
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/website.yml b/.github/workflows/website.yml
@@ -141,6 +141,9 @@ jobs:
       - name: Fix permissions
         run: |
           sudo chown $USER _build -R
+      - name: Remove unnecessary .doctrees folder
+        run: |
+          rm -rf _build/html/.doctrees
       - name: Clean up old Github pages branch
         if: github.repository == 'multiphenics/multiphenics.github.io' && github.event.inputs.reset_github_pages == 'yes'
         run: |