diff --git a/ci/build.sh b/ci/build.sh
index e4c6f18be202b6e413e61b4f656dfed997788778..986b06699c1fffb9d5d1ac20e9e15e5ab3d8b944 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