diff --git a/.github/deploy.sh b/.github/deploy.sh index 8f6abc93e..17eb35b46 100755 --- a/.github/deploy.sh +++ b/.github/deploy.sh @@ -18,16 +18,16 @@ SHA=$(git rev-parse --verify HEAD) git checkout $TARGET_BRANCH ) -# Remove the current doc for master +echo "Removing the current docs for master" rm -rf out/master/ || exit 0 -# Make the doc for master +echo "Making the docs for master" mkdir out/master/ cp util/gh-pages/index.html out/master python ./util/export.py out/master/lints.json -# Save the doc for the current tag and point current/ to it if [ -n "$TRAVIS_TAG" ]; then + echo "Save the doc for the current tag ($TRAVIS_TAG) and point current/ to it" cp -r out/master "out/$TRAVIS_TAG" rm -f out/current ln -s "$TRAVIS_TAG" out/current diff --git a/.travis.yml b/.travis.yml index 069336c69..3a187b7b2 100644 --- a/.travis.yml +++ b/.travis.yml @@ -22,6 +22,8 @@ before_install: command curl -sSL https://rvm.io/mpapis.asc | gpg --import - rvm get stable fi + - echo "TRAVIS_BRANCH:" + - echo $TRAVIS_BRANCH install: - . $HOME/.nvm/nvm.sh