Cleaner deployment process (fixes #2749) (#2750)

* TravisCI: cleaner deployment process.

* TravisCI: rename deployment script.

scripts/build.sh

@@ -1,56 +0,0 @@
-#!/usr/bin/env bash
-
-# This script is executed by Travis CI when a PR is merged (i.e. in the `after_success` step).
-set -ev
-
-function initialize {
-  if [ -z "$TLDRHOME" ]; then
-    export TLDRHOME=${TRAVIS_BUILD_DIR:-`pwd`}
-  fi
-  export TLDR_ARCHIVE="tldr.zip"
-  export SITE_HOME="$HOME/site"
-  export SITE_URL="github.com/tldr-pages/tldr-pages.github.io"
-  export SITE_REPO_SLUG="tldr-pages/tldr-pages.github.io"
-
-  git config --global user.email "travis@travis-ci.org"
-  git config --global user.name "Travis CI"
-  git config --global push.default simple
-  git config --global diff.zip.textconv "unzip -c -a"
-}
-
-function rebuild_index {
-  npm run build-index
-}
-
-function build_archive {
-  rm -f $TLDR_ARCHIVE
-
-  cd $TLDRHOME/
-  zip -r $TLDR_ARCHIVE pages*/ LICENSE.md
-}
-
-function upload_assets {
-  git clone --quiet --depth 1 git@github.com:${SITE_REPO_SLUG}.git $SITE_HOME
-  mv -f $TLDR_ARCHIVE $SITE_HOME/assets/
-  cp -f $TLDRHOME/pages/index.json $SITE_HOME/assets/
-
-  cd $SITE_HOME
-  git add -A
-  git commit -m "[TravisCI] uploaded assets after commits ${TRAVIS_COMMIT_RANGE}"
-  git push -q
-}
-
-###################################
-# MAIN
-###################################
-
-if [ ! "$TRAVIS_PULL_REQUEST" == "false" ]; then
-  echo "This is a Pull Request, no index rebuild needed"
-elif [ ! "$TRAVIS_BRANCH" == "master" ]; then
-  echo "This is not a master branch, no index rebuild needed"
-else
-  initialize
-  rebuild_index && echo "Rebuilding index is done"
-  build_archive && echo "Pages archive is created"
-  upload_assets && echo "Assets (pages archive, index) deployed to static site"
-fi