Commit ad79ccd9 authored by Ben Gamari's avatar Ben Gamari 🐢

gitlab-ci: Generate documentation tarball

parent 6764da43
......@@ -16,6 +16,7 @@ stages:
- build
- full-build
- cleanup # See Note [Cleanup on Windows]
- packaging
############################################################
# Runner Tags
......@@ -535,3 +536,28 @@ cleanup-darwin:
- rm -Rf $BUILD_DIR/*
- exit 0
############################################################
# Packaging
############################################################
doc-tarball:
stage: packaging
tags:
- x86_64-linux
image: ghcci/x86_64-linux-deb9:0.2
dependencies:
- validate-x86_64-linux-deb9
- validate-x86_64-windows
artifacts:
paths:
- haddock.html.tar.xz
- libraries.html.tar.xz
- users_guide.html.tar.xz
- index.html
- "*.pdf"
script:
- rm -Rf docs
- distrib/mkDocs/mkDocs ghc-x86_64-deb9-linux.tar.xz ghc-x86_64-mingw32.tar.xz
- ls -lh
- mv docs/*.tar.xz .
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment