From 044e2fac7f6bc4e36fa8e25ba609ca303feba0bd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= <georges.duperon@nomadic-labs.com>
Date: Wed, 12 Jun 2019 10:26:58 +0200
Subject: [PATCH] Move odoc to the right folder

---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 3f27b4c86..eae2fdd13 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -53,7 +53,7 @@ stages:
     - npm run build
     # move internal odoc documentation to the website folder
     - mkdir -p gitlab-pages/website/build/ligo/
-    - mv _build/default/_doc/_html/ gitlab-pages/website/build/ligo/internal
+    - mv _build/default/_doc/_html/ gitlab-pages/website/build/ligo/odoc
     - ls gitlab-pages/website/build/ligo/ # for debug
   after_script:
     - cp -r gitlab-pages/website/build/ligo public