diff options
Diffstat (limited to 'contrib/ci/jobs')
-rwxr-xr-x | contrib/ci/jobs/0-build/build-docs.sh | 17 | ||||
-rwxr-xr-x | contrib/ci/jobs/0-build/job.sh | 6 |
2 files changed, 23 insertions, 0 deletions
diff --git a/contrib/ci/jobs/0-build/build-docs.sh b/contrib/ci/jobs/0-build/build-docs.sh new file mode 100755 index 00000000..43152df9 --- /dev/null +++ b/contrib/ci/jobs/0-build/build-docs.sh @@ -0,0 +1,17 @@ +#!/bin/bash + +set -exou + +make html +make latexpdf + +# Publish to docs.taler.net if on master branch +if [[ ${CI_GIT_BRANCH} = "master" ]]; then + rm -rf /artifacts/docs_build + + mkdir -p /artifacts/docs_build/docs/html/ + mkdir -p /artifacts/docs_build/docs/pdf/ + + cp -r _build/html/* /artifacts/docs_build/docs/html/ + cp -r _build/latex/*.pdf /artifacts/docs_build/docs/pdf/ +fi diff --git a/contrib/ci/jobs/0-build/job.sh b/contrib/ci/jobs/0-build/job.sh new file mode 100755 index 00000000..627aecf0 --- /dev/null +++ b/contrib/ci/jobs/0-build/job.sh @@ -0,0 +1,6 @@ +#!/bin/bash +set -exuo pipefail + +job_dir=$(dirname "${BASH_SOURCE[0]}") + +"${job_dir}"/build-docs.sh |