From 71cd960e0cf7d54fd6dfac59230b520c75fd3c92 Mon Sep 17 00:00:00 2001
From: Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr>
Date: Wed, 27 May 2020 19:37:53 +0200
Subject: fix pages ?

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

(limited to '.gitlab-ci.yml')

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 442b56e0..9c255aa6 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -276,7 +276,8 @@ pages:
     - opam install coq-coq2html
   script:
     - source /opt/kalray/accesscore/kalray.sh && ./config_kvx.sh
-    - source /opt/kalray/accesscore/kalray.sh && make -j "$NJOBS" documentation
+    - source /opt/kalray/accesscore/kalray.sh && make -j "$NJOBS"
+    - source /opt/kalray/accesscore/kalray.sh && make documentation
     - mkdir public
     - cp -r doc/* public/
     - mv public/index-kvx.html public/index.html
-- 
cgit