diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2019-03-31 14:32:01 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2019-04-03 08:12:26 -0400 |
| commit | 6f13e7b13de361f0813a8752a7279ec3c1383755 (patch) | |
| tree | 55cc2b7bbb4c5f44ed94cbe066b6f78feef7ea56 | |
| parent | 4626cf213fe7affe5f8c2d94dbf03e727c816694 (diff) | |
| download | haskell-6f13e7b13de361f0813a8752a7279ec3c1383755.tar.gz | |
gitlab-ci: Build hyperlinked sources for releases
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 |