diff --git a/scripts/push-gh-pages-helper.sh b/scripts/push-gh-pages-helper.sh deleted file mode 100755 index c70175c54..000000000 --- a/scripts/push-gh-pages-helper.sh +++ /dev/null @@ -1,7 +0,0 @@ -#!/bin/bash - -if [ "$1" = "clone" ]; then - git clone "https://${GH_TOKEN}@github.com/coursier/coursier.git" -b gh-pages coursier-gh-pages >/dev/null 2>&1 -else - git push origin gh-pages >/dev/null 2>&1 -fi diff --git a/scripts/push-gh-pages.sh b/scripts/push-gh-pages.sh deleted file mode 100755 index 9c04f832b..000000000 --- a/scripts/push-gh-pages.sh +++ /dev/null @@ -1,32 +0,0 @@ -#!/bin/bash -set -ev - -SCALA_VERSION="$1" -shift - -sbt ++${SCALA_VERSION} web/fastOptJS - -HELPER="$(readlink -f "$(dirname "$0")/push-gh-pages-helper.sh")" - -"$HELPER" clone -cd coursier-gh-pages - -[ ! -e staging ] || git rm -r staging - -mkdir staging -DIR="$(for i in "../web/target/scala-"*; do echo "$i"; done)" -cp "$DIR/web-"*.js* staging -cp "$DIR/classes/index"*.html staging -cp -R "$DIR/classes/css" staging - -for i in staging/*.html; do - mv "$i" "$i.0" - sed "s/src=\"\.\.\/web-/src=\"web-/g" < "$i.0" > "$i" - rm -f "$i.0" -done - -git config user.name "Travis-CI" -git config user.email "invalid@travis-ci.com" -git add staging -git commit -m "Deploy to gh-pages" -"$HELPER" diff --git a/scripts/travis.sh b/scripts/travis.sh index a2c993013..bd844e1ca 100755 --- a/scripts/travis.sh +++ b/scripts/travis.sh @@ -228,10 +228,5 @@ PUBLISH="${PUBLISH:-0}" if [ "$PUBLISH" = 1 -a "$PULL_REQUEST" = false -a "$BRANCH" = master ]; then publish - - if [ "$SCALA_VERSION" = "2.11" ] && isScalaJs; then - #"$(dirname "$0")/push-gh-pages.sh" "$SCALA_VERSION" - : - fi fi