rm code defining unused BOB_DOCUMENTATION_SERVER export

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