From 42ceba198e1b7c49df0e8c7062c07f3f2ceccdcb Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.anjos@idiap.ch>
Date: Fri, 23 Sep 2016 13:24:27 +0200
Subject: [PATCH] Add doc script downloading

---
 gitlab/install.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gitlab/install.sh b/gitlab/install.sh
index 813ec4e..07c0cb5 100755
--- a/gitlab/install.sh
+++ b/gitlab/install.sh
@@ -52,7 +52,7 @@ get_exec() {
 run_cmd mkdir -pv ${1}
 get_script ${1} functions.sh
 get_exec ${1} install.sh
-for stage in "build" "test" "wheels" "deploy"; do
+for stage in "build" "test" "docs" "wheels" "deploy"; do
   get_exec ${1} before_${stage}.sh
   get_exec ${1} ${stage}.sh
   get_exec ${1} after_${stage}.sh
-- 
GitLab