diff options
Diffstat (limited to 'taler-docbuild/update_doc_backoffice.sh')
| -rwxr-xr-x | taler-docbuild/update_doc_backoffice.sh | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/taler-docbuild/update_doc_backoffice.sh b/taler-docbuild/update_doc_backoffice.sh deleted file mode 100755 index dc5d773..0000000 --- a/taler-docbuild/update_doc_backoffice.sh +++ /dev/null @@ -1,20 +0,0 @@ -#!/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/backoffice/doc/ -fetch -make -mkdir -p $HOME/build/backoffice/pdf -mkdir -p $HOME/build/backoffice/html -cp manual.pdf $HOME/build/backoffice/pdf/ -cp manual.html $HOME/build/backoffice/html/ -cp *.css $HOME/build/backoffice/html/ |