Build man pages

2015-05-30 10:41:13 +02:00
parent 84e2295834
commit 425d2ed163
1 changed files with 1 additions and 2 deletions
@@ -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