Skip to content
Permalink
Browse files

Merge branch 'develop' of https://github.com/music-encoding/music-enc…

…oding into develop
  • Loading branch information...
pe-ro committed Oct 31, 2018
2 parents 9edcf14 + 18f3303 commit 2547cda82e5ea5b46a046c66e9e19a637cf9e149
Showing with 5 additions and 8 deletions.
  1. +5 −8 deploy-docs.sh
@@ -8,22 +8,19 @@
# Changes to the major version of MEI should be reflected by updating the MEI_VERSION variable.

set -e # Exit with nonzero exit code if anything fails
MEI_VERSION="v3"
MEI_VERSION="v4"

if [ "${TRAVIS_PULL_REQUEST}" != "false" ]; then
echo "Will not build docs for pull requests. Skipping deploy."
exit 0
fi

if [ "${TRAVIS_BRANCH}" == "develop" ]; then
OUTPUT_FOLDER="dev"
DOCS_BRANCH="master"
elif [ "${TRAVIS_BRANCH}" == "master" ]; then
# if [ "${TRAVIS_BRANCH}" == "develop" ]; then
# OUTPUT_FOLDER="dev"
# DOCS_BRANCH="master"
if [ "${TRAVIS_BRANCH}" == "master" ]; then
OUTPUT_FOLDER=${MEI_VERSION}
DOCS_BRANCH="master"
#elif [ "${TRAVIS_BRANCH}" == "feature-build-with-travis" ]; then # to be removed when merged to develop.
# OUTPUT_FOLDER="dev"
# DOCS_BRANCH="develop"
else
echo "Will not build docs for branch ${TRAVIS_BRANCH}"
exit 0

0 comments on commit 2547cda

Please sign in to comment.
You can’t perform that action at this time.