diff --git a/.travis.yml b/.travis.yml
deleted file mode 100644
index fc9f0e4fc..000000000
--- a/.travis.yml
+++ /dev/null
@@ -1,24 +0,0 @@
-dist: trusty
-sudo: false
-
-language: node_js
-node_js:
-  - "4"
-
-cache:
-  directories:
-    - node_modules
-
-install:
-  - npm install gitbook-cli -g
-  - gitbook install
-
-before_script:
-  - mkdir -p "${TRAVIS_BUILD_DIR}"/build
-
-script:
-  - gitbook build . "${TRAVIS_BUILD_DIR}"/build
-  - |
-    if [[ "${TRAVIS_BRANCH}" == master ]]; then
-        bash "${TRAVIS_BUILD_DIR}"/tools/deploy/update_site_travis.bash
-    fi
diff --git a/tools/deploy/update_site_travis.bash b/tools/deploy/update_site_travis.bash
deleted file mode 100644
index acf79f190..000000000
--- a/tools/deploy/update_site_travis.bash
+++ /dev/null
@@ -1,60 +0,0 @@
-#!/usr/bin/env bash
-
-# update_site_travis.bash: Update a GitHub repo with the book build
-# products.
-
-set -o errexit
-
-# Required environment variables:
-# - DOCS_BRANCH_NAME: name of the remote branch serving the book
-# - GH_REPO_NAME: name of the remote repo
-# - GH_TOKEN: [secret] Personal Access Token
-# - GH_USER: name of the remote repo's owner
-
-bold=$(tput bold)
-normal=$(tput sgr0)
-
-if [ -z ${DOCS_BRANCH_NAME+x} ]; then
-    echo "${bold}\$DOCS_BRANCH_NAME is not set!${normal}"
-    exit 1
-elif [ -z ${GH_REPO_NAME+x} ]; then
-    echo "${bold}\$GH_REPO_NAME is not set!${normal}"
-    exit 1
-elif [ -z ${GH_TOKEN+x} ]; then
-    echo "${bold}\$GH_TOKEN is not set!${normal}"
-    exit 1
-elif [ -z ${GH_USER+x} ]; then
-    echo "${bold}\$GH_USER is not set!${normal}"
-    exit 1
-fi
-
-git config user.name "Travis CI User"
-git config user.email "travis@travis-ci.org"
-
-GH_REPO_REF="github.com/${GH_USER}/${GH_REPO_NAME}.git"
-
-# Assume the book has already been built, and was moved to `build/`
-# inside the same directory as this script.
-
-if [ -d build ]; then
-    echo "${bold}Cloning the website repo...${normal}"
-    git clone -b $DOCS_BRANCH_NAME https://git@${GH_REPO_REF}
-    rm -rf ./"${GH_REPO_NAME}"/*
-    cp -a ./build/* ./"${GH_REPO_NAME}"
-    pushd ./"${GH_REPO_NAME}"
-    echo "${bold}Adding changes...${normal}"
-    git add --all
-    echo "${bold}Committing...${normal}"
-    # This will return 1 if there are no changes, which should not
-    # result in failure.
-    git commit \
-        -m "Deploy book to GitHub Pages Travis build: ${TRAVIS_BUILD_NUMBER}" \
-        -m "Commit: ${TRAVIS_COMMIT}" || ret=$?
-    git push --force "https://${GH_TOKEN}@${GH_REPO_REF}" > /dev/null 2>&1
-    popd
-else
-    echo "" >&2
-    echo "${bold}Warning: The book wasn't found!${normal}" >&2
-    echo "${bold}Warning: Not going to push the book to GitHub!${normal}" >&2
-    exit 1
-fi