diff --git a/ci/github_pages.sh b/ci/github_pages.sh index b6978b59..3460e2c9 100644 --- a/ci/github_pages.sh +++ b/ci/github_pages.sh @@ -11,6 +11,9 @@ if [ "$TRAVIS_PULL_REQUEST" != "false" ] || exit 0 fi +export RUST_BACKTRACE=full +df -h + # Make sure we have the css dependencies npm install -g stylus nib @@ -22,9 +25,11 @@ rev=$(git rev-parse --short HEAD) echo -e "${CYAN}Running cargo doc${NC}" cargo doc --features regenerate-css +df -h echo -e "${CYAN}Running mdbook build${NC}" cargo run -- build book-example/ +df -h echo -e "${CYAN}Copying book to target/doc${NC}" cp -R book-example/book/* target/doc/ @@ -39,6 +44,7 @@ git config user.email "michaelfbryan@gmail.com" git remote add upstream "https://$GH_TOKEN@github.com/rust-lang-nursery/mdBook.git" git fetch upstream --quiet git reset upstream/gh-pages --quiet +df -h touch .