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

---
 taler-docbuild/update_onboarding.sh | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100755 taler-docbuild/update_onboarding.sh

(limited to 'taler-docbuild/update_onboarding.sh')

diff --git a/taler-docbuild/update_onboarding.sh b/taler-docbuild/update_onboarding.sh
new file mode 100755
index 0000000..9e38c80
--- /dev/null
+++ b/taler-docbuild/update_onboarding.sh
@@ -0,0 +1,20 @@
+#!/bin/bash
+
+set -eu
+
+fetch () {
+  git clean -fdx
+  git fetch
+  # reset to updated upstream branch, but only if we're tracking a branch
+  branch=$(git rev-parse --abbrev-ref --symbolic-full-name @{u} 2>/dev/null || echo head)
+  git reset --hard "$branch"
+}
+
+cd $HOME/deployment
+fetch
+cd doc/
+make all
+cp *.css $HOME/build/onboarding/html/
+cp onboarding.html $HOME/build/onboarding/html/
+cp onboarding.pdf $HOME/build/onboarding/pdf/
+
-- 
cgit v1.2.3