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