Private projects can depend on private documentation

gitlab/functions.sh

@@ -284,7 +284,7 @@ export_env BOB_PREFIX_PATH
 
 # Setup default documentation server
 if [ -z "${CI_BUILD_TAG}" ]; then
-  DEFSRV="${DOCSERVER}/software/bob/docs/latest/bob/%s/master/"
+ DEFSRV="${DOCSERVER}/software/bob/docs/latest/bob/%s/master/"
 else
   DEFSRV="http://pythonhosted.org/%s/"
 fi
@@ -293,6 +293,10 @@ if [ -z "${BOB_DOCUMENTATION_SERVER}" ]; then
 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/latest/bob/%s/master/"
+fi
 unset DEFSRV
 export_env BOB_DOCUMENTATION_SERVER