[GNUnet-SVN] [taler-deployment] branch master updated: splitting tutorials and manual updaters

[gnunet]

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

marcello pushed a commit to branch master
in repository deployment.

The following commit(s) were added to refs/heads/master by this push:
     new f1fd105  splitting tutorials and manual updaters
f1fd105 is described below

commit f1fd10523d96f7d7a8459c63bc90b74c710b942e
Author: Marcello Stanisci <address@hidden>
AuthorDate: Thu Mar 30 02:18:49 2017 +0200

    splitting tutorials and manual updaters
---
 taler-build/update_docs.sh      | 14 --------------
 taler-build/update_manual.sh    | 13 +++++++++++++
 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
deleted file mode 100755
index 40c1fb1..0000000
--- a/taler-build/update_docs.sh
+++ /dev/null
@@ -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
new file mode 100644
index 0000000..f18ebf1
--- /dev/null
+++ 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
new file mode 100644
index 0000000..2168bff
--- /dev/null
+++ 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

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