Add publish script

This commit is contained in:
Chris Wong 2019-03-24 14:39:20 +13:00
parent 327480c442
commit a16b26a64e

16
docs/deploy.sh Executable file
View file

@ -0,0 +1,16 @@
#!/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