diff options
author | Florian Dold <florian.dold@gmail.com> | 2019-08-29 13:39:14 +0200 |
---|---|---|
committer | Florian Dold <florian.dold@gmail.com> | 2019-08-29 13:39:14 +0200 |
commit | f2ac60245f95e97a588e394bca02472cf2446f68 (patch) | |
tree | 1a65f4c2a1701dce47438f5db4d889a9924bcd04 /taler-docbuild/update_doc_backoffice.sh | |
parent | 8244dc8bc4244ca3b9dcce2ef77cee3837c0a401 (diff) | |
download | deployment-f2ac60245f95e97a588e394bca02472cf2446f68.tar.gz deployment-f2ac60245f95e97a588e394bca02472cf2446f68.tar.bz2 deployment-f2ac60245f95e97a588e394bca02472cf2446f68.zip |
remove old docs stuff
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/ |