#!/bin/sh

set -e

nproc=$(nproc || echo 4)

make clean
make

cd site
git init
git add .
git commit -m 'Deploy'

git remote add github git@github.com:lfairy/maud.git
git push -f github master:gh-pages