diff --git a/gitlab/functions.sh b/gitlab/functions.sh
index 1b5bd5f3da8f6c31d29d6d6362ac918488e21799..a9b7724a388d5578ee3e4367927b0dd7aacb13bb 100644
--- a/gitlab/functions.sh
+++ b/gitlab/functions.sh
@@ -208,6 +208,7 @@ fi
 
 if [ -z "${DOCSERVER}" ]; then
   DOCSERVER=http://www.idiap.ch
+  export_env DOCSERVER
 fi
 
 PREFIX=${CI_PROJECT_DIR}/${CONDA_PREFIX}