diff options
Diffstat (limited to 'taler-build/update_manual.sh')
| -rwxr-xr-x | taler-build/update_manual.sh | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/taler-build/update_manual.sh b/taler-build/update_manual.sh deleted file mode 100755 index f18ebf1..0000000 --- a/taler-build/update_manual.sh +++ /dev/null @@ -1,13 +0,0 @@ -#!/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 |