gitlab-ci: Create index.html in documentation deployment
authorBen Gamari <ben@smart-cactus.org>
Thu, 6 Jun 2019 18:09:53 +0000 (14:09 -0400)
committerMarge Bot <ben+marge-bot@smart-cactus.org>
Fri, 7 Jun 2019 14:29:23 +0000 (10:29 -0400)
Otherwise navigating to https://ghc.gitlab.haskell.org/ghc will result
in a 404.

.gitlab-ci.yml

index b3cea19..e42aa7d 100644 (file)
@@ -864,6 +864,12 @@ pages:
     - tar -xf haddock.html.tar.xz -C public/doc
     - tar -xf libraries.html.tar.xz -C public/doc
     - tar -xf users_guide.html.tar.xz -C public/doc
+    - |
+      cat >public/index.html <<EOF
+      <!DOCTYPE HTML>
+      <meta charset="UTF-8">
+      <meta http-equiv="refresh" content="1; url=doc/">
+      EOF
     - cp -f index.html public/doc
   only:
     - master