#! /bin/sh
-cd "`dirname \"$0\"`"/.. && distribute -aD phdru.name
-cd htdocs && exec distribute -aD phdru.name
+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