From 67096065b07574975279718234128534f1bd993e Mon Sep 17 00:00:00 2001 From: Martin Schanzenbach 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