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-04 12:35:47 -0400 |
commit | e04e3d812a2fc75cf198dfa8578eb95fc35a03fa (patch) | |
tree | 22bb7d9a9ebe795bb02a1589381c2cdee518afac | |
parent | 97c1ef86decbf633c58804125ef46f69e84119d9 (diff) | |
download | haskell-e04e3d812a2fc75cf198dfa8578eb95fc35a03fa.tar.gz |
gitlab-ci: Build hyperlinked sources for releases
Fixes #16445.
(cherry picked from commit a32ac2f4d963b657c0a53359b492c593e82304b1)
-rw-r--r-- | .gitlab-ci.yml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index e33f3629ed..b97ba70e16 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -152,6 +152,12 @@ validate-x86_64-darwin: - git submodule sync --recursive - 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 |