diff options
author | Marcello Stanisci <stanisci.m@gmail.com> | 2019-04-18 15:28:12 +0200 |
---|---|---|
committer | Marcello Stanisci <stanisci.m@gmail.com> | 2019-04-18 15:28:12 +0200 |
commit | 6a784c6c7327be82a840a0b3f5f6a0be296fc8bb (patch) | |
tree | b412bc232ec957e8e0b82935f8328c618daac63f /taler-docbuild | |
parent | 58652f7c8db018f5a580955dfebdbcfb0bd150f3 (diff) | |
download | deployment-6a784c6c7327be82a840a0b3f5f6a0be296fc8bb.tar.gz deployment-6a784c6c7327be82a840a0b3f5f6a0be296fc8bb.tar.bz2 deployment-6a784c6c7327be82a840a0b3f5f6a0be296fc8bb.zip |
Make separate sites-building directory.
Diffstat (limited to 'taler-docbuild')
-rwxr-xr-x | taler-docbuild/update_doc_landing.sh | 34 | ||||
-rwxr-xr-x | taler-docbuild/update_stage.sh | 35 | ||||
-rwxr-xr-x | taler-docbuild/update_www.sh | 35 |
3 files changed, 0 insertions, 104 deletions
diff --git a/taler-docbuild/update_doc_landing.sh b/taler-docbuild/update_doc_landing.sh deleted file mode 100755 index 6293b6f..0000000 --- a/taler-docbuild/update_doc_landing.sh +++ /dev/null @@ -1,34 +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/docs-landing/ -fetch -git submodule update --force --init - -# Get the MOs files. -make compile - -# Get the translated final HTMLs. -make translate - -# No compilation needed so far. -mkdir -p $HOME/docs.taler.net/ -cp -rt $HOME/docs.taler.net/ \ - en/ \ - fr/ \ - it/ \ - es/ \ - pt/ \ - ru/ \ - de/ \ - images/ \ - *.{css,svg} diff --git a/taler-docbuild/update_stage.sh b/taler-docbuild/update_stage.sh deleted file mode 100755 index b57d4f0..0000000 --- a/taler-docbuild/update_stage.sh +++ /dev/null @@ -1,35 +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" -} - -# Local checkout must exist. -cd $HOME/www - -fetch -git submodule update --init --force -git checkout master -f -make - -mkdir -p $HOME/stage.taler.net/ -cp -rt $HOME/stage.taler.net/ \ - en/ \ - fr/ \ - it/ \ - es/ \ - pt/ \ - ru/ \ - de/ \ - images/ \ - presentations/ \ - papers/ \ - dist/ \ - pdf/ \ - team-images/ diff --git a/taler-docbuild/update_www.sh b/taler-docbuild/update_www.sh deleted file mode 100755 index f63d9a6..0000000 --- a/taler-docbuild/update_www.sh +++ /dev/null @@ -1,35 +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" -} - -# Assumes the repo was already checked out once. -cd $HOME/www - -fetch -git submodule update --init --force -git checkout stable -f -make - -mkdir -p $HOME/www.taler.net/ -cp -rt $HOME/www.taler.net/ \ - en/ \ - fr/ \ - it/ \ - es/ \ - pt/ \ - ru/ \ - de/ \ - images/ \ - presentations/ \ - papers/ \ - dist/ \ - pdf/ \ - team-images/ |