taler-deployment

commit f1fd10523d96f7d7a8459c63bc90b74c710b942e
parent 9a440400214be01bfd37956bb93f17cb2222c983
Author: Marcello Stanisci <marcello.stanisci@inria.fr>
Date:   Thu, 30 Mar 2017 02:18:49 +0200

splitting tutorials and manual updaters

Diffstat:
D
taler-build/update_docs.sh
 | 
14
--------------
A
taler-build/update_manual.sh
 | 
13
+++++++++++++
A
taler-build/update_tutorials.sh
 | 
9
+++++++++

3 files changed, 22 insertions(+), 14 deletions(-)
diff --git a/taler-build/update_docs.sh b/taler-build/update_docs.sh
@@ -1,14 +0,0 @@
-#!/bin/bash
-
-set -eu
-
-for i in merchant/doc merchant-frontend-examples; do
-  cd /var/www/$i
-  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"
-
-  make || (texi2html manual.texi; texi2pdf manual.texi)
-done
diff --git a/taler-build/update_manual.sh b/taler-build/update_manual.sh
@@ -0,0 +1,13 @@
+#!/bin/bash
+
+cd /var/www/merchant/
+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"
+
+./bootstrap
+./configure
+cd doc/
+make
diff --git a/taler-build/update_tutorials.sh b/taler-build/update_tutorials.sh
@@ -0,0 +1,9 @@
+#!/bin/bash
+
+cd /var/www/merchant-frontend-examples/
+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"
+make