From 67096065b07574975279718234128534f1bd993e Mon Sep 17 00:00:00 2001
From: Martin Schanzenbach <mschanzenbach@posteo.de>
Date: Thu, 14 May 2020 11:07:02 +0200
Subject: [PATCH] add buildbot deployment file

---
 .buildbot/deploy.sh | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100755 .buildbot/deploy.sh

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/
-- 
2.25.1