diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2019-03-31 14:32:01 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@well-typed.com> | 2019-04-01 22:19:19 -0400 |
| commit | a32ac2f4d963b657c0a53359b492c593e82304b1 (patch) | |
| tree | 4fa0333239c495c54a01deb1e531667e658ff0f0 | |
| parent | dd9c82ef38e87ede01d81907c5037845f2944435 (diff) | |
| download | haskell-wip/T16445.tar.gz | |
gitlab-ci: Build hyperlinked sources for releaseswip/T16445
Fixes #16445.
| -rw-r--r-- | .gitlab-ci.yml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 2e8b80552a..69bf7f6a9d 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -270,6 +270,11 @@ validate-x86_64-darwin: - git submodule update --init --recursive - git checkout .gitmodules - "git fetch https://gitlab.haskell.org/ghc/ghc-performance-notes.git refs/notes/perf:refs/notes/perf || true" + # Build hyperlinked sources for documentation when building releases + - | + if [[ -n "$CI_COMMIT_TAG" ]]; then + echo "EXTRA_HADDOCK_OPTS += --hyperlinked-source --quickjump" >> mk/build.mk + fi - bash .circleci/prepare-system.sh # workaround for docker permissions |