gitlab-ci: Create index.html in documentation deployment

Authored by bgamari on Jun 6 2019, 1:09 PM.

Description

gitlab-ci: Create index.html in documentation deployment

Otherwise navigating to https://ghc.gitlab.haskell.org/ghc will result
in a 404.

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Jun 7 2019, 9:29 AM
Parents
rGHC3d97bad67ea6: Hadrian: use deb9 Docker images instead of deb8 for CI jobs
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC1afb499583f7: gitlab-ci: Create index.html in documentation deployment (authored by bgamari).Jun 7 2019, 9:29 AM