diff options
author | Ben Gamari <ben@smart-cactus.org> | 2021-02-04 00:26:49 -0500 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2021-02-04 00:28:14 -0500 |
commit | c6378dc88183b7b870876bfe2613b766b9d6e08a (patch) | |
tree | 592bda16991c0ed363450e4558200fe35033f381 | |
parent | b0487f2e134d9f15ad7d74b680adb6f561451656 (diff) | |
download | haskell-c6378dc88183b7b870876bfe2613b766b9d6e08a.tar.gz |
gitlab-ci: Build Darwin docs with hyperlinked sources
Previously we only built Linux bindists with hyperlinked sources.
-rw-r--r-- | .gitlab-ci.yml | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 807b6ef95b..0b6dcf3c26 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -288,6 +288,11 @@ hadrian-ghc-in-ghci: TEST_TYPE: test MAKE_ARGS: "-Werror" script: + # Build hyperlinked sources for documentation when building releases + - | + if [[ "$RELEASE_JOB" = "yes" ]]; then + HADDOCK_HYPERLINKED_SOURCES=1 + fi - .gitlab/ci.sh setup - .gitlab/ci.sh configure - .gitlab/ci.sh build_make @@ -450,12 +455,6 @@ validate-x86_64-darwin: variables: BUILD_FLAVOUR: "perf" before_script: - # Build hyperlinked sources for documentation when building releases - - | - if [[ -n "$CI_COMMIT_TAG" ]]; then - HADDOCK_HYPERLINKED_SOURCES=1 - fi - # workaround for docker permissions - sudo chown ghc:ghc -R . after_script: |