Now we have a deploy script

paulproteus · paulproteus · commit 58fa6c02cc3e · 2013-08-21T15:25:52.000+02:00
diff --git a/deploy.sh b/deploy.sh
@@ -0,0 +1,7 @@
+#!/bin/bash
+set -e
+set -x
+
+make html
+rsync -avzP --delete "$PWD"/_build/html/. paulproteus_ohusergroups@ssh.phx.nearlyfreespeech.net:.
+

-Original file line number
+Diff line change
@@ @@ -0,0 +1,7 @@ @@
 +#!/bin/bash
 +set -e
 +set -x
++
 +make html
 +rsync -avzP --delete "$PWD"/_build/html/. [email protected]:.
++