diff options
Diffstat (limited to 'scripts/update-website')
-rwxr-xr-x | scripts/update-website | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/scripts/update-website b/scripts/update-website index cf9a0ec1..a99ffc18 100755 --- a/scripts/update-website +++ b/scripts/update-website @@ -1,16 +1,17 @@ -#!/bin/sh +#!/bin/bash # This script builds the website from the docs directory of # the current branch and copies it over to the gh-pages # branch. -set -eu -set -o xtrace +set -eux +shopt -s dotglob # build website -scriptdir=`dirname "$0"` +scriptdir=$(dirname "$0") cd "$scriptdir"/../docs rm -rf output +mkdir output pipenv run python3 build_website.py cd .. |