From 96152d620f0a5a0e6b35c1b05b575a02f7ee8a03 Mon Sep 17 00:00:00 2001
From: Francesco Ballarin <francesco.ballarin@unicatt.it>
Date: Wed, 29 Nov 2023 08:03:20 +0100
Subject: [PATCH] Remove unnecessary .doctrees folder

---
 .github/workflows/website.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/website.yml b/.github/workflows/website.yml
index e1c8716..aa80ba5 100644
--- a/.github/workflows/website.yml
+++ b/.github/workflows/website.yml
@@ -171,6 +171,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 == 'FEMlium/femlium.github.io' && github.event.inputs.reset_github_pages == 'yes'
         run: |