From c1d78ddbb5583c3906fc4115bdae7bd9f84708e0 Mon Sep 17 00:00:00 2001
From: "mergify[bot]" <37929162+mergify[bot]@users.noreply.github.com>
Date: Mon, 22 Jul 2019 22:22:06 -0700
Subject: [PATCH] Call book/build.sh from docker (#5237) (#5238)

automerge
---
 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
 (