1 files changed, 0 insertions, 32 deletions
diff --git a/tools/epfl-publish b/tools/epfl-publish
deleted file mode 100755
index cdf18823a5..0000000000
--- a/tools/epfl-publish
+++ /dev/null
@@ -1,32 +0,0 @@
-#!/usr/bin/env bash
-#
-# publishes nightly build if $publish_to is set in environment.
-#
-
-[[ $# -eq 1 ]] || {
-  cat <<EOM
-Usage: $0 <scala version>
-
-Environment variables:
-  publish_to   rsync destination
-EOM
-  exit 0
-}
-version="$1"
-
-[[ -d dists/archives ]] || {
-  echo "Can't find build, has it completed? No directory at dists/archives"
-  exit 1
-}
-
-if [[ -z $publish_to ]]; then
-  echo "Nothing to publish."
-else
-  echo "Publishing nightly build to $publish_to"
-  # Archive Scala nightly distribution
-  rsync -az --exclude scala-latest-sources.tgz dists/archives/ "$publish_to/distributions"
-  # only publish scaladoc nightly for trunk
-  [[ $version == "master" ]] && rsync -az build/scaladoc/ "$publish_to/docs"
-  # sbaz
-  [[ -d dists/sbaz ]] && rsync -az dists/sbaz/ "$publish_to/sbaz"
-fi