#!/bin/sh
# website deployment script

set -e

git -C /home/{{ web_username }}/website pull
make -C /home/{{ web_username }}/website build