taler-deployment

commit 9a440400214be01bfd37956bb93f17cb2222c983
parent 815135d57890ab5bd6d9d9a88746e4fc0b01c786
Author: Marcello Stanisci <marcello.stanisci@inria.fr>
Date:   Thu, 30 Mar 2017 02:11:36 +0200

handle case where no Makefile is found inside merchant
tutorial directory.

Diffstat:
M
taler-build/update_docs.sh
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/taler-build/update_docs.sh b/taler-build/update_docs.sh
@@ -10,5 +10,5 @@ for i in merchant/doc merchant-frontend-examples; do
   branch=$(git rev-parse --abbrev-ref --symbolic-full-name @{u} 2>/dev/null || echo HEAD)
   git reset --hard "$branch"
 
-  make
+  make || (texi2html manual.texi; texi2pdf manual.texi)
 done