diff --git a/gitlab/functions.sh b/gitlab/functions.sh index 185a9d864d1dcc6e366fe998b56e6b1444db0e2f..742510770459864dbdfcf2e73f576415a9873b01 100644 --- a/gitlab/functions.sh +++ b/gitlab/functions.sh @@ -359,6 +359,8 @@ if [[ -n "${CI_COMMIT_TAG}" ]]; then DOC_UPLOADS+=("${DOC_SERVER_PREFIX}/${CI_COMMIT_TAG}/") fi +# upload documentation to a "stable" url if that is the latest tagged on the +# master branch if [[ -n "${CI_COMMIT_TAG}" && "${IS_MASTER}" == "true" ]]; then DOC_UPLOADS+=("${DOC_SERVER_PREFIX}/stable/") fi