etc: update deploy-doc.sh

james-d-mitchell · james-d-mitchell · commit 6d7f4e2cd7c8 · 2021-10-08T22:15:35.000+01:00
diff --git a/etc/deploy-doc.sh b/etc/deploy-doc.sh
@@ -3,6 +3,7 @@ set -e
 
 printf "\033[0;32mDeploying updates to GitHub...\033[0m\n"
 
+make clean-doc # to remove old doc files
 make doc
 cp -r docs/_build/html/* gh-pages
 cd gh-pages
