gitlab-ci: Generate documentation tarball
authorBen Gamari <ben@smart-cactus.org>
Wed, 6 Mar 2019 11:47:28 +0000 (06:47 -0500)
committerBen Gamari <ben@smart-cactus.org>
Sat, 16 Mar 2019 23:17:46 +0000 (19:17 -0400)
.gitlab-ci.yml

index a64e805..878a2ff 100644 (file)
@@ -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 .
+