From feca495f7153dd213638a6b275a57da2da4d5ade Mon Sep 17 00:00:00 2001 From: schaeff Date: Mon, 28 Jan 2019 20:44:12 +0100 Subject: [PATCH] clean env --- scripts/release.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/release.sh b/scripts/release.sh index e8ed0a72..b325c671 100755 --- a/scripts/release.sh +++ b/scripts/release.sh @@ -30,12 +30,12 @@ docker push zokrates/zokrates:$TAG echo "Published zokrates/zokrates:$TAG" # Publish book -MDBOOK_SOURCE="https://github.com/rust-lang-nursery/mdBook/releases/download/v0.2.1/mdbook-v0.2.1-x86_64-unknown-linux-gnu.tar.gz" +MDBOOK_TAR="https://github.com/rust-lang-nursery/mdBook/releases/download/v0.2.1/mdbook-v0.2.1-x86_64-unknown-linux-gnu.tar.gz" cd zokrates_book ## Install mdbook -wget -qO- $MDBOOK_SOURCE | tar xvz +wget -qO- $MDBOOK_TAR | tar xvz ## Build book ./mdbook build