diff options
| author | Michael Bryan <michaelfbryan@gmail.com> | 2018-01-27 14:41:40 +0800 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2018-01-31 14:13:10 -0500 |
| commit | f48a68e481e2ce8eaf90f6471200569030102f3a (patch) | |
| tree | 1523c0f769580da4e8b3a1e0931b7a85466b1b17 /src/doc/rustc-dev-guide/ci/github_pages.sh | |
| parent | 173a1083ea65b498d27ede37d841b02a4c5e7e65 (diff) | |
| download | rust-f48a68e481e2ce8eaf90f6471200569030102f3a.tar.gz rust-f48a68e481e2ce8eaf90f6471200569030102f3a.zip | |
Removed ghp-import and run mdbook build unconditionally
Diffstat (limited to 'src/doc/rustc-dev-guide/ci/github_pages.sh')
| -rw-r--r-- | src/doc/rustc-dev-guide/ci/github_pages.sh | 11 |
1 files changed, 0 insertions, 11 deletions
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 |