diff options
author | Michael Bryan <michaelfbryan@gmail.com> | 2017-12-30 21:47:53 +0800 |
---|---|---|
committer | Michael Bryan <michaelfbryan@gmail.com> | 2017-12-30 21:47:53 +0800 |
commit | 65900b87e6a8db03585914d3a9a3bbc4ffe36281 (patch) | |
tree | 5a63cba3e89453abcab1b3b9459881825506cb60 /ci | |
parent | d4a5176f26003104299c86f3364979a971b8878f (diff) |
Use `cargo run` for github pages instead of hard-coding the binary path
Diffstat (limited to 'ci')
-rw-r--r-- | ci/github_pages.sh | 5 |
1 files 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/ |