Update guide.sh

This commit is contained in:
kngwyu 2020-06-30 14:50:32 +09:00
parent b2e7acd181
commit 3496b09d05
1 changed files with 4 additions and 3 deletions

View File

@ -5,7 +5,7 @@ set -ex
### Setup latest mdbook version ################################################ ### Setup latest mdbook version ################################################
INSTALLED=$(echo $(mdbook --version 2>/dev/null || echo "mdbook none") | cut -d' ' -f1) INSTALLED=$(echo $(mdbook --version 2>/dev/null || echo "mdbook none") | cut -d' ' -f1)
PINNED=0.3.5 PINNED=0.4.0
if [ "$PINNED" != "$INSTALLED" ]; then if [ "$PINNED" != "$INSTALLED" ]; then
URL=https://github.com/rust-lang-nursery/mdBook/releases/download/v${PINNED}/mdbook-v${PINNED}-x86_64-unknown-linux-gnu.tar.gz URL=https://github.com/rust-lang-nursery/mdBook/releases/download/v${PINNED}/mdbook-v${PINNED}-x86_64-unknown-linux-gnu.tar.gz
@ -39,6 +39,7 @@ rm -rf "$TRAVIS_BRANCH"
cp -r ../target/guide "$TRAVIS_BRANCH" cp -r ../target/guide "$TRAVIS_BRANCH"
cp -r ../target/doc "$TRAVIS_BRANCH" cp -r ../target/doc "$TRAVIS_BRANCH"
git add --all git add --all
git commit -m "Upload documentation for $TRAVIS_BRANCH"
git push -f if git commit -m "Upload documentation for $TRAVIS_BRANCH"; then
git push -f
fi