#! /bin/sh

git diff --quiet web/master master ||
git push web master || exit 1

cd "`dirname \"$0\"`"/.. &&
distribute -aD phdru.name &&

cd htdocs &&
exec distribute -aD git.phdru.name phdru.name