From c6d43b1274c044c275f8dbea343aff33593a7485 Mon Sep 17 00:00:00 2001
From: Florian Dold <florian.dold@gmail.com>
Date: Tue, 6 Feb 2018 04:06:40 +0100
Subject: build docs the same way as blue/green

---
 buildbot/build-docs.sh | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100755 buildbot/build-docs.sh

(limited to 'buildbot/build-docs.sh')

diff --git a/buildbot/build-docs.sh b/buildbot/build-docs.sh
new file mode 100755
index 0000000..92f5078
--- /dev/null
+++ b/buildbot/build-docs.sh
@@ -0,0 +1,14 @@
+#!/bin/bash
+
+set -eu
+
+cd $HOME/deployment
+
+# like "git pull", but discard local changes
+git fetch
+git reset --hard FETCH_HEAD
+
+cd $HOME/deployment/taler-docbuild
+./invalidate.sh
+
+make
-- 
cgit v1.2.3