From 33ab240755106a22941bfc343f0e5f3c82411b6f Mon Sep 17 00:00:00 2001 From: Dan Albert Date: Mon, 22 Jul 2019 20:15:11 -0600 Subject: [PATCH] Call book/build.sh from docker --- ci/publish-book.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/ci/publish-book.sh b/ci/publish-book.sh index c286156af7..76ed2dbde4 100755 --- a/ci/publish-book.sh +++ b/ci/publish-book.sh @@ -4,6 +4,7 @@ set -e cd "$(dirname "$0")/.." BOOK="book" +source ci/rust-version.sh stable eval "$(ci/channel-info.sh)" if [[ -n $PUBLISH_BOOK_TAG ]]; then @@ -44,7 +45,7 @@ else BOOK=$CHANNEL fi -book/build.sh +ci/docker-run.sh "$rust_stable_docker_image" bash -exc "book/build.sh" echo --- create book repo (