Addressing #5424.

1 files changed, 16 insertions, 0 deletions

diff --git a/taler-docbuild/update_stage.sh b/taler-docbuild/update_stage.sh
new file mode 100755
index 0000000..3f7f585
--- /dev/null
+++ b/taler-docbuild/update_stage.sh
@@ -0,0 +1,16 @@
+#!/bin/bash
+
+set -eu
+
+fetch () {
+  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"
+}
+
+cd $HOME/stage.taler.net
+fetch
+git submodule update --init --force
+make