Add a GitHub Actions workflow to build and update website (#2603)

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 ..