From 6a76becdbf8d9ef23c79b3450ef4cf7c616402cb Mon Sep 17 00:00:00 2001
From: Michael Bryan <michaelfbryan@gmail.com>
Date: Wed, 17 Jan 2018 12:30:45 +0800
Subject: Created a couple basic CI scripts

---
 src/doc/rustc-dev-guide/ci/github_pages.sh | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create 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
new file mode 100644
index 00000000000..603b280f983
--- /dev/null
+++ b/src/doc/rustc-dev-guide/ci/github_pages.sh
@@ -0,0 +1,10 @@
+#!/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 
+    ghp-import $BOOK_DIR
+fi
\ No newline at end of file
-- 
cgit 1.4.1-3-g733a5