diff options
author | Florian Dold <florian.dold@gmail.com> | 2019-08-29 10:24:18 +0200 |
---|---|---|
committer | Florian Dold <florian.dold@gmail.com> | 2019-08-29 10:24:18 +0200 |
commit | bd7a467d1a90414077f692a658b5b3bca7660f1a (patch) | |
tree | 0bcb067767968fe3bec69e2df0717ab6a91dde33 /taler-docbuild/update_api.sh | |
parent | 69c5853b416318ce84342098f31860f0f8d9f948 (diff) | |
download | deployment-bd7a467d1a90414077f692a658b5b3bca7660f1a.tar.gz deployment-bd7a467d1a90414077f692a658b5b3bca7660f1a.tar.bz2 deployment-bd7a467d1a90414077f692a658b5b3bca7660f1a.zip |
api->docs
Diffstat (limited to 'taler-docbuild/update_api.sh')
-rwxr-xr-x | taler-docbuild/update_api.sh | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/taler-docbuild/update_api.sh b/taler-docbuild/update_api.sh deleted file mode 100755 index 862ab8f..0000000 --- a/taler-docbuild/update_api.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/api -fetch -make html - -mkdir -p $HOME/build/api/html/ - -cp -r _build/html/* $HOME/build/api/html/ - |