summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMartin Schanzenbach <mschanzenbach@posteo.de>2020-05-14 11:07:02 +0200
committerMartin Schanzenbach <mschanzenbach@posteo.de>2020-05-14 11:07:02 +0200
commit67096065b07574975279718234128534f1bd993e (patch)
tree3a43ee70eb2f535c2a615e8cadd765dbec84f797
parent08db6f95454f01abd27a96e9e331f299b518d3ab (diff)
add buildbot deployment file
-rwxr-xr-x.buildbot/deploy.sh6
1 files changed, 6 insertions, 0 deletions
diff --git a/.buildbot/deploy.sh b/.buildbot/deploy.sh
new file mode 100755
index 000000000..b956a3d92
--- /dev/null
+++ b/.buildbot/deploy.sh
@@ -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/