Merge branch 'master' of git+ssh://gnunet.org/lsd0003

3 files changed, 16 insertions, 1 deletions

diff --git a/.buildbot/build.sh b/.buildbot/build.sh
new file mode 100755
index 0000000..2aad486
--- /dev/null
+++ b/.buildbot/build.sh
@@ -0,0 +1,3 @@
+#!/bin/bash
+
+make
diff --git a/.buildbot/firefly-x86_64-amdepyc_deploy.sh b/.buildbot/firefly-x86_64-amdepyc_deploy.sh
new file mode 100755
index 0000000..402fa15
--- /dev/null
+++ b/.buildbot/firefly-x86_64-amdepyc_deploy.sh
@@ -0,0 +1,10 @@
+#!/bin/bash
+
+# Deploy rest api from buildbot
+
+if [ -e index.html ]; then
+  rm index.html
+fi
+ln -s draft-summermatter-set-union.html index.html
+chmod -R ag+rX draft-summermatter-set-union.* index.html .
+rsync --exclude=".*" --exclude="Makefile" -a --delete ./ lsd@firefly.gnunet.org:~/public/lsd0003/
diff --git a/README.md b/README.md
index b508de9..62288c2 100644
--- a/README.md
+++ b/README.md
@@ -1 +1,3 @@
-# Set union spec
+# Set union living standard
+
+Find HTML website at https://lsd.gnunet.org/lsd0003