From 1aeb5516d75fcbd0faa56eb2dd3920b5b3a0392c Mon Sep 17 00:00:00 2001
From: Jakob Borg <jakob@nym.se>
Date: Sat, 30 May 2015 11:29:21 +0200
Subject: [PATCH] Build pdf

---
 deploy.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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