From c1d2955c5213066d12d4837f8f5f2dca7a12bd50 Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.dos.anjos@gmail.com>
Date: Thu, 10 Jan 2019 09:41:31 +0100
Subject: [PATCH] [ci] Define DOCSERVER
---
ci/build.sh | 3 +++
1 file changed, 3 insertions(+)
diff --git a/ci/build.sh b/ci/build.sh
index e4c6f18b..986b0669 100755
--- a/ci/build.sh
+++ b/ci/build.sh
@@ -44,6 +44,9 @@ check_defined CI_PROJECT_DIR
check_defined CI_PROJECT_NAME
check_defined PYTHON_VERSION
+export DOCSERVER=http://www.idiap.ch
+check_defined DOCSERVER
+
export CONDARC=${CONDA_ROOT}/condarc
check_defined CONDARC
--
GitLab