From 65900b87e6a8db03585914d3a9a3bbc4ffe36281 Mon Sep 17 00:00:00 2001
From: Michael Bryan <michaelfbryan@gmail.com>
Date: Sat, 30 Dec 2017 21:47:53 +0800
Subject: [PATCH] Use `cargo run` for github pages instead of hard-coding the
 binary path

---
 ci/github_pages.sh | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/ci/github_pages.sh b/ci/github_pages.sh
index 2b6eec47..4a45b145 100644
--- a/ci/github_pages.sh
+++ b/ci/github_pages.sh
@@ -6,7 +6,8 @@ set -ex
 # Only run this on the master branch for stable
 if [ "$TRAVIS_PULL_REQUEST" != "false" ] || 
    [ "$TRAVIS_BRANCH" != "master" ] ||
-   [ "$TRAVIS_RUST_VERSION" != "stable" ]; then
+   [ "$TRAVIS_RUST_VERSION" != "stable" ] ||
+   [ "$TARGET" != "x86_64-unknown-linux-gnu" ]; then
    exit 0
 fi
 
@@ -23,7 +24,7 @@ echo -e "${CYAN}Running cargo doc${NC}"
 cargo doc --features regenerate-css
 
 echo -e "${CYAN}Running mdbook build${NC}"
-target/"$TARGET"/debug/mdbook build book-example/
+cargo run -- build book-example/
 
 echo -e "${CYAN}Copying book to target/doc${NC}"
 cp -R book-example/book/* target/doc/