#!/bin/sh
# website deployment script

set -e

git -C /home/{{ web_username }}/website pull
OUTPUT={{ fullroot }} make -C /home/{{ web_username }}/website deploy