diff --git a/deploy.sh b/deploy.sh index b7dbb90a5..fe080b05c 100755 --- a/deploy.sh +++ b/deploy.sh @@ -2,8 +2,7 @@ set -euo pipefail git pull -rm -fr _build -make html +make clean html man rm -rf _deployed.old [ -d _deployed ] && mv _deployed _deployed.old || true