diff options
Diffstat (limited to 'taler-build/update_manual.sh')
-rw-r--r-- | taler-build/update_manual.sh | 13 |
1 files changed, 13 insertions, 0 deletions
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 |