Build pdf

2015-05-30 11:29:21 +02:00
parent 425d2ed163
commit 1aeb5516d7
1 changed files with 1 additions and 1 deletions
@@ -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