From ea5bcfd532232099274f3bbdd505ed706922359c Mon Sep 17 00:00:00 2001
From: Joel Nothman <joel.nothman@gmail.com>
Date: Wed, 14 Oct 2015 23:24:20 +1100
Subject: [PATCH] Make PDF documentation also

---
 srv/salt/update_doc.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/srv/salt/update_doc.sh b/srv/salt/update_doc.sh
index b8c7995..86fa9b2 100644
--- a/srv/salt/update_doc.sh
+++ b/srv/salt/update_doc.sh
@@ -35,7 +35,7 @@ if [[ "$1" = "clean" ]];
 then
   make clean
 fi
-sphinx-build -b html -d _build/doctrees . _build/html/stable
+make dist
 if [[ "$1" = "clean" ]];
 then
   make optipng