| James Leitch | 978d7a0 | 2023-12-27 10:28:11 -0700 | [diff] [blame] | 1 | #!/usr/bin/env bash |
| Damien Martin-Guillerez | a37e0f4 | 2020-06-30 12:05:23 +0200 | [diff] [blame] | 2 | |
| UebelAndre | 1c3907d | 2021-04-07 08:46:31 -0700 | [diff] [blame] | 3 | set -euo pipefail |
| 4 | |
| 5 | if [[ -n "${BUILD_WORKSPACE_DIRECTORY:-}" ]]; then |
| 6 | DOCS_WORKSPACE="${BUILD_WORKSPACE_DIRECTORY}" |
| 7 | else |
| 8 | # https://stackoverflow.com/a/246128/7768383 |
| 9 | DOCS_WORKSPACE="$( cd "$( dirname "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )" |
| 10 | fi |
| 11 | |
| 12 | pushd "${DOCS_WORKSPACE}" &> /dev/null |
| UebelAndre | 7d9e890 | 2020-09-09 12:15:01 -0700 | [diff] [blame] | 13 | # It's important to clean the workspace so we don't end up with unintended |
| 14 | # docs artifacts in the new commit. |
| 15 | bazel clean \ |
| 16 | && bazel build //... \ |
| 17 | && cp bazel-bin/*.md . \ |
| UebelAndre | 2788357 | 2021-05-05 08:10:07 -0700 | [diff] [blame] | 18 | && chmod 0644 *.md |
| Damien Martin-Guillerez | a37e0f4 | 2020-06-30 12:05:23 +0200 | [diff] [blame] | 19 | |
| UebelAndre | 2788357 | 2021-05-05 08:10:07 -0700 | [diff] [blame] | 20 | if [[ -z "${SKIP_COMMIT:-}" ]]; then |
| 21 | git add *.md && git commit -m "Regenerate documentation" |
| 22 | fi |
| 23 | |
| 24 | popd &> /dev/null |
