diff options
author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-03-30 02:18:49 +0200 |
---|---|---|
committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-03-30 02:18:49 +0200 |
commit | f1fd10523d96f7d7a8459c63bc90b74c710b942e (patch) | |
tree | 9b03d08d7fad4048e27ff5812c88f8adbe549b29 /taler-build/update_manual.sh | |
parent | 9a440400214be01bfd37956bb93f17cb2222c983 (diff) | |
download | deployment-f1fd10523d96f7d7a8459c63bc90b74c710b942e.tar.gz deployment-f1fd10523d96f7d7a8459c63bc90b74c710b942e.tar.bz2 deployment-f1fd10523d96f7d7a8459c63bc90b74c710b942e.zip |
splitting tutorials and manual updaters
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 |