diff --git a/gitlab/functions.sh b/gitlab/functions.sh
index 8b24fca21fddae7fdc9e4e6e5c24d9089bd4cfdb..a42b74e888b686c727b65bebaaf193844dee47f8 100644
--- a/gitlab/functions.sh
+++ b/gitlab/functions.sh
@@ -256,7 +256,13 @@ export_env LD_LIBRARY_PATH
 export_env BOB_PREFIX_PATH
 
 if [ -z "${CI_BUILD_TAG}" ]; then
-  BOB_DOCUMENTATION_SERVER="${DOCSERVER}/software/bob/docs/latest/bob/%s/master/"
+  DEFSRV="${DOCSERVER}/software/bob/docs/latest/bob/%s/master/"
+  if [ -z "${BOB_DOCUMENTATION_SERVER}" ]; then
+    BOB_DOCUMENTATION_SERVER="${DEFSRV}"
+  else
+    BOB_DOCUMENTATION_SERVER="${BOB_DOCUMENTATION_SERVER}|${DEFSRV}"
+  fi
+  unset DEFSRV
   export_env BOB_DOCUMENTATION_SERVER
 else
   log_info "Building tag, not setting BOB_DOCUMENTATION_SERVER"