diff options
author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-03-30 02:11:36 +0200 |
---|---|---|
committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-03-30 02:11:36 +0200 |
commit | 9a440400214be01bfd37956bb93f17cb2222c983 (patch) | |
tree | b92dcf3b5d6e7c9769a37ef6c15ea170f84829d6 | |
parent | 815135d57890ab5bd6d9d9a88746e4fc0b01c786 (diff) | |
download | deployment-9a440400214be01bfd37956bb93f17cb2222c983.tar.gz deployment-9a440400214be01bfd37956bb93f17cb2222c983.tar.bz2 deployment-9a440400214be01bfd37956bb93f17cb2222c983.zip |
handle case where no Makefile is found inside merchant
tutorial directory.
-rwxr-xr-x | taler-build/update_docs.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/taler-build/update_docs.sh b/taler-build/update_docs.sh index 54caafa..40c1fb1 100755 --- 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 |