[gnunet-rest-api] branch master updated: add build script

[gnunet]

This is an automated email from the git hooks/post-receive script.

martin-schanzenbach pushed a commit to branch master
in repository gnunet-rest-api.

The following commit(s) were added to refs/heads/master by this push:
     new aec19fb  add build script
aec19fb is described below

commit aec19fbbcb736c24295ce55e5635024371489a99
Author: Martin Schanzenbach <address@hidden>
AuthorDate: Thu May 14 16:31:05 2020 +0200

    add build script
---
 .buildbot/build.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.buildbot/build.sh b/.buildbot/build.sh
new file mode 100755
index 0000000..e71a3c8
--- /dev/null
+++ b/.buildbot/build.sh
@@ -0,0 +1,3 @@
+#!/bin/bash
+
+make html

-- 
To stop receiving notification emails like this one, please contact
address@hidden.