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