rename deploy script
authorMartin Schanzenbach <mschanzenbach@posteo.de>
Thu, 14 May 2020 09:50:17 +0000 (11:50 +0200)
committerMartin Schanzenbach <mschanzenbach@posteo.de>
Thu, 14 May 2020 09:50:17 +0000 (11:50 +0200)
.buildbot/deploy.sh [deleted file]
.buildbot/firefly-x86_64-amdepyc_deploy.sh [new file with mode: 0755]

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