add buildbot deployment file
authorMartin Schanzenbach <mschanzenbach@posteo.de>
Thu, 14 May 2020 09:07:02 +0000 (11:07 +0200)
committerMartin Schanzenbach <mschanzenbach@posteo.de>
Thu, 14 May 2020 09:07:02 +0000 (11:07 +0200)
.buildbot/deploy.sh [new file with mode: 0755]

diff --git a/.buildbot/deploy.sh b/.buildbot/deploy.sh
new file mode 100755 (executable)
index 0000000..b956a3d
--- /dev/null
@@ -0,0 +1,6 @@
+#!/bin/bash
+
+# Deploy docs from buildbot
+
+chmod -R ag+rX doc/
+rsync -a --delete doc/ handbook@firefly.gnunet.org:~/doc_deployment/