From da110f21996c45ecf9e48f49263edb8c2dd235f9 Mon Sep 17 00:00:00 2001
From: Sander Spies <sandermail@gmail.com>
Date: Wed, 4 Mar 2020 15:09:53 +0100
Subject: [PATCH] Fix gitlab-ci.

---
 .gitlab-ci.yml | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 9b3dcaba3..0f82551d9 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -35,7 +35,7 @@ dont-merge-to-master:
 
 .website_build: &website_build
   stage: build_and_deploy
-  image: node:8
+  image: node:12-alpine
   dependencies:
     - build-and-package-debian-9
     - build-and-package-debian-10
@@ -66,13 +66,11 @@ dont-merge-to-master:
     - cd gitlab-pages/website
     - npm install
   script:
-    - npm run version next
     - npm run build
     # move internal odoc documentation to the website folder
-    - mkdir -p build/ligo/
-    - mv ../../_build/default/_doc/_html/ build/ligo/odoc
+    - mv ../../_build/default/_doc/_html/ build/odoc
   after_script:
-    - cp -r gitlab-pages/website/build/ligo public
+    - cp -r gitlab-pages/website/build public
   artifacts:
     paths:
       - public