github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-24 04:40:05 +00:00
Code Issues Projects Releases Wiki Activity

only publish master branch and add tag to commit msg

Browse source
This commit is contained in:
sdeml 2018-12-08 16:53:42 +01:00
parent 614b9f118a
commit cb9a482fe4
1 changed files with 19 additions and 11 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

30
scripts/publish_book.sh
View file

@ -1,14 +1,22 @@
# Exit if any subcommand fails # Exit if any subcommand fails
set -e set -e
apt-get update if [["$CIRCLE_BRANCH" == "master"]]; then
apt-get -qq install git python-minimal apt-get update
python --version apt-get -qq install git python-minimal
cargo install mdbook python --version
cd zokrates_book && mdbook build cargo install mdbook
git config --global user.email "stefan.deml+zokratesbot@decentriq.ch" cd zokrates_book && mdbook build
git clone https://github.com/Zokrates/zokrates.github.io.git git config --global user.email "stefan.deml+zokratesbot@decentriq.ch"
git clone https://github.com/davisp/ghp-import.git git clone https://github.com/Zokrates/zokrates.github.io.git
cd zokrates.github.io git clone https://github.com/davisp/ghp-import.git
../ghp-import/ghp_import.py -n -p -f -m "Documentation upload" -b "master" -r https://zokratesbot:"$GH_TOKEN"@github.com/Zokrates/zokrates.github.io.git ../book cd zokrates.github.io
echo "Published book" {
TAG=$(git describe --tags) && echo $TAG
} || {
echo "No tag found"
}
../ghp-import/ghp_import.py -n -p -f -m "Documentation upload $TAG" -b "master" -r https://zokratesbot:"$GH_TOKEN"@github.com/Zokrates/zokrates.github.io.git ../book
echo "Published book"
fi