Exit deploy docs script on Fig error
This commit is contained in:
parent
496a1d3bfe
commit
07fd01ad46
2 changed files with 2 additions and 3 deletions
|
|
@ -1,5 +1,5 @@
|
||||||
#!/bin/bash
|
#!/bin/bash
|
||||||
|
set -ex
|
||||||
pushd docs
|
pushd docs
|
||||||
fig run jekyll jekyll build
|
fig run jekyll jekyll build
|
||||||
popd
|
popd
|
||||||
|
|
|
||||||
|
|
@ -1,9 +1,8 @@
|
||||||
#!/bin/bash
|
#!/bin/bash
|
||||||
|
set -ex
|
||||||
|
|
||||||
script/build-docs
|
script/build-docs
|
||||||
|
|
||||||
set -ex
|
|
||||||
|
|
||||||
pushd docs/_site
|
pushd docs/_site
|
||||||
|
|
||||||
export GIT_DIR=.git-gh-pages
|
export GIT_DIR=.git-gh-pages
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue