diff options
Diffstat (limited to 'script/update')
-rwxr-xr-x | script/update | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/script/update b/script/update new file mode 100755 index 000000000..aa97935d3 --- /dev/null +++ b/script/update @@ -0,0 +1,9 @@ +#!/bin/sh + +set -e +cd "$(dirname "$0")/.." + +script/bootstrap +bin/update-schema --commit +bin/make_css +commonlib/bin/gettext-makemo |