From e0c3c771a40f1dda872a20e4bfef9c5dd1565463 Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.anjos@idiap.ch>
Date: Thu, 4 May 2017 15:10:12 +0200
Subject: [PATCH] Private projects can depend on private documentation
---
gitlab/functions.sh | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/gitlab/functions.sh b/gitlab/functions.sh
index 69ecc8b..8b68c94 100644
--- a/gitlab/functions.sh
+++ b/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
--
GitLab