From f48a68e481e2ce8eaf90f6471200569030102f3a Mon Sep 17 00:00:00 2001
From: Michael Bryan <michaelfbryan@gmail.com>
Date: Sat, 27 Jan 2018 14:41:40 +0800
Subject: Removed ghp-import and run mdbook build unconditionally

---
 src/doc/rustc-dev-guide/ci/github_pages.sh | 11 -----------
 1 file changed, 11 deletions(-)
 delete mode 100644 src/doc/rustc-dev-guide/ci/github_pages.sh

(limited to 'src/doc/rustc-dev-guide/ci/github_pages.sh')

diff --git a/src/doc/rustc-dev-guide/ci/github_pages.sh b/src/doc/rustc-dev-guide/ci/github_pages.sh
deleted file mode 100644
index ffd89ad5227..00000000000
--- a/src/doc/rustc-dev-guide/ci/github_pages.sh
+++ /dev/null
@@ -1,11 +0,0 @@
-#!/bin/bash
-set -ex
-
-BOOK_DIR=book
-
-# Only upload the built book to github pages if it's a commit to master
-if [ "$TRAVIS_BRANCH" = master -a "$TRAVIS_PULL_REQUEST" = false ]; then
-    mdbook build 
-else
-    echo Skipping 'mdbook build' because this is not master or this is just a PR.
-fi
-- 
cgit 1.4.1-3-g733a5