diff --git a/gitlab/functions.sh b/gitlab/functions.sh
index 2d7cccc6b2a6b4ee155db680165368e7417c8874..8710fe515b4396955526d60c65d4f81c1c68587c 100644
--- a/gitlab/functions.sh
+++ b/gitlab/functions.sh
@@ -423,24 +423,6 @@ check_env CONDA_FOLDER
 check_env CONDA_ENV
 export_env BOB_PREFIX_PATH
 
-# Setup default documentation server
-if [ -z "${CI_COMMIT_TAG}" ]; then
- DEFSRV="${DOCSERVER}/software/bob/docs/bob/%s/master/"
-else
-  DEFSRV="http://pythonhosted.org/%s/"
-fi
-if [ -z "${BOB_DOCUMENTATION_SERVER}" ]; then
-  BOB_DOCUMENTATION_SERVER="${DEFSRV}"
-else
-  BOB_DOCUMENTATION_SERVER="${BOB_DOCUMENTATION_SERVER}|${DEFSRV}"
-fi
-if [ "${VISIBILITY}" != "public" ]; then
-  # If private or internal, allow it to depend on other internal documents
-  BOB_DOCUMENTATION_SERVER="${BOB_DOCUMENTATION_SERVER}|${DOCSERVER}/private/docs/bob/%s/master/"
-fi
-unset DEFSRV
-export_env BOB_DOCUMENTATION_SERVER
-
 # Sets up certificates for curl and openssl
 CURL_CA_BUNDLE="${SCRIPTS_DIR}/cacert.pem"
 export_env CURL_CA_BUNDLE