From dd98d85a97a15d1264c6d61cb136b01d3aa6f026 Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.anjos@idiap.ch>
Date: Tue, 27 Jun 2017 10:13:30 +0200
Subject: [PATCH] Run docs commands on deploy phase to upload fresh docs on our
 host

---
 gitlab/deploy.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/gitlab/deploy.sh b/gitlab/deploy.sh
index a2eed0e..cc1cfb5 100755
--- a/gitlab/deploy.sh
+++ b/gitlab/deploy.sh
@@ -23,6 +23,9 @@ setup_deploy check sdist --formats zip upload --repository production
 if [ -d sphinx ]; then
   log_info "Uploading documentation to ${PYPISERVER} on behalf of ${PYPIUSER}..."
   setup_deploy upload_docs --upload-dir sphinx --repository production
+  run_cmd $(dirname ${0})/before_docs.sh
+  run_cmd $(dirname ${0})/docs.sh
+  run_cmd $(dirname ${0})/after_docs.sh
 fi
 
 unlock_pypirc
-- 
GitLab