update deploy script

obouchaara · Dec 15, 2023 · 253265c · 253265c
1 parent d567ff4
commit 253265c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/deploy_docs.sh b/deploy_docs.sh
@@ -4,6 +4,7 @@
 set -e
 
 # Build the docs
+rm -rf docs/build/html/*
 sphinx-build -M html docs/source/ docs/build/
 
 # Stash any changes in main branch