From 425d2ed16364f1b84a6b92a37f81bd7d2aa9da5e Mon Sep 17 00:00:00 2001
From: Jakob Borg <jakob@nym.se>
Date: Sat, 30 May 2015 10:41:13 +0200
Subject: [PATCH] Build man pages

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

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