diff --git a/script/build-docs b/script/build-docs index c4e649430..cafba23f5 100755 --- a/script/build-docs +++ b/script/build-docs @@ -1,5 +1,5 @@ #!/bin/bash - +set -ex pushd docs fig run jekyll jekyll build popd diff --git a/script/deploy-docs b/script/deploy-docs index 766892cb4..f5427ea5c 100755 --- a/script/deploy-docs +++ b/script/deploy-docs @@ -1,9 +1,8 @@ #!/bin/bash +set -ex script/build-docs -set -ex - pushd docs/_site export GIT_DIR=.git-gh-pages