diff --git a/local b/local new file mode 100755 index 0000000..42806dc --- /dev/null +++ b/local @@ -0,0 +1,10 @@ +#!/usr/bin/env bash + +outdir=site +dest="/srv/http/" + +make clean +make run + +sudo rm -r $dest/* +sudo cp -r $outdir/* $dest