From b0408fdcd9b2bbfaf5ab2bf232f735c287e71b9d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Mon, 10 Jun 2019 23:09:34 +0200 Subject: [PATCH] move internal documentation at the end, otherwise npm deletes it it seems. --- .gitlab-ci.yml | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index a5aebb11e..3f27b4c86 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -34,7 +34,7 @@ stages: - opam switch # install deps for internal documentation - - opam install odoc + - opam install -y odoc - vendors/opam-repository-tools/rewrite-local-opam-repository.sh - opam repository add localrepo "file://$PWD/vendors/ligo-opam-repository-local-generated/" - opam install -y --build-test --deps-only ./src/ @@ -44,7 +44,6 @@ stages: # build with odoc - dune build @doc - - mv build/default/_doc/_html/ gitlab-pages/website/build/ligo/internal # npm - cd gitlab-pages/website @@ -52,6 +51,10 @@ stages: script: - npm run version next - 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 + - ls gitlab-pages/website/build/ligo/ # for debug after_script: - cp -r gitlab-pages/website/build/ligo public artifacts: