#!/bin/sh
set +eux

if [ "$(hostname -s)" = "freeside" ]
then
	HOST="$HOME/"
else
	HOST="freeside.wntrmute.net:"
fi

cd docs/sphinx && make html && rsync -auv _build/html/ ${HOST}sites/wrmath/
