diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2019-03-25 17:41:13 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@well-typed.com> | 2019-03-30 07:42:38 -0400 |
| commit | 6f7115dfd4fbb439a309a8381c4d02c450170cdc (patch) | |
| tree | 480b7a8a149b5654ca0c5bd2ee0402418953d248 | |
| parent | 6e15ca54c09331378f018abc315a4c6c68db9e1a (diff) | |
| download | haskell-6f7115dfd4fbb439a309a8381c4d02c450170cdc.tar.gz | |
ci: Ensure index.html is preserved in documentation tarball
| -rw-r--r-- | .gitlab-ci.yml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 9e6b3f62cf..2e8b80552a 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -664,7 +664,6 @@ cleanup-darwin: doc-tarball: <<: *only-default stage: packaging - allow_failure: true tags: - x86_64-linux image: ghcci/x86_64-linux-deb9:0.2 @@ -680,9 +679,9 @@ doc-tarball: - "*.pdf" script: - rm -Rf docs - - distrib/mkDocs/mkDocs ghc-x86_64-deb9-linux.tar.xz ghc-x86_64-mingw32.tar.xz + - bash -ex distrib/mkDocs/mkDocs ghc-x86_64-deb9-linux.tar.xz ghc-x86_64-mingw32.tar.xz - ls -lh - - mv docs/*.tar.xz . + - mv docs/*.tar.xz docs/index.html . source-tarball: stage: packaging |