Skip to content

Commit

Permalink
Merge pull request #663 from dark64/master
Browse files Browse the repository at this point in the history
Use latest stable ghp-import from PyPi
  • Loading branch information
Schaeff authored Aug 6, 2020
2 parents bd7fd00 + de4c1d8 commit 549375f
Showing 1 changed file with 4 additions and 6 deletions.
10 changes: 4 additions & 6 deletions scripts/release.sh
Original file line number Diff line number Diff line change
Expand Up @@ -59,9 +59,7 @@ wget -qO- $MDBOOK_TAR | tar xvz
./mdbook build

## Deploy to github.io
git clone https://github.com/Zokrates/zokrates.github.io.git
git clone https://github.com/davisp/ghp-import.git
cd zokrates.github.io
../ghp-import/ghp_import.py -n -p -f -m "Documentation upload. Version: $TAG" -b "master" -r https://zokratesbot:"$GH_TOKEN"@github.com/Zokrates/zokrates.github.io.git ../book
echo "Published book"

pip3 install ghp-import
git clone https://github.com/Zokrates/zokrates.github.io.git && cd zokrates.github.io
ghp-import -n -p -f -m "Documentation upload. Version: $TAG" -b "master" -r https://zokratesbot:"$GH_TOKEN"@github.com/Zokrates/zokrates.github.io.git ../book
echo "Published book"

0 comments on commit 549375f

Please sign in to comment.