update_www.sh

#!/bin/sh
set -e

fail() { echo "Error: $1"; exit 1; }

( cd www && make html )

CUR_STATUS="$(git status --porcelain)"
[ -z "$CUR_STATUS" ] || fail "Working directory is dirty."

CUR_BRANCH="$(git symbolic-ref -q HEAD)"
[ "$CUR_BRANCH" = refs/heads/main ] ||
fail "Current branch is not main"

CUR_COMMIT="$(git rev-parse -q --verify HEAD)"
DOC_BRANCH=gh-pages
git show-ref -q --verify "refs/heads/$DOC_BRANCH" &&
git branch -qD "$DOC_BRANCH"
git checkout -q --orphan "$DOC_BRANCH"
git rm -qrf .
git clean -qfxde/www/html
mv www/html/* .
rm -r www
echo -n 'data-encoding.rs' > CNAME
git add .
git commit -qm"$CUR_COMMIT"
git checkout -q main