1#!/usr/bin/env bash 2 3set -euo pipefail 4 5if [[ -n "${BUILD_WORKSPACE_DIRECTORY:-}" ]]; then 6 DOCS_WORKSPACE="${BUILD_WORKSPACE_DIRECTORY}" 7else 8 # https://stackoverflow.com/a/246128/7768383 9 DOCS_WORKSPACE="$( cd "$( dirname "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )" 10fi 11 12pushd "${DOCS_WORKSPACE}" &> /dev/null 13# It's important to clean the workspace so we don't end up with unintended 14# docs artifacts in the new commit. 15bazel clean \ 16&& bazel build //... \ 17&& cp bazel-bin/*.md . \ 18&& chmod 0644 *.md 19 20if [[ -z "${SKIP_COMMIT:-}" ]]; then 21 git add *.md && git commit -m "Regenerate documentation" 22fi 23 24popd &> /dev/null 25