From 2ed836d9fd798c17b0858468bda07bfa70dc9e43 Mon Sep 17 00:00:00 2001
From: Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr>
Date: Tue, 7 Dec 2021 11:49:31 +0100
Subject: doc

---
 .gitlab-ci.yml | 5 -----
 1 file changed, 5 deletions(-)

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 728bd3c3..d44c881c 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -316,11 +316,6 @@ pages: # TODO: change to "deploy" when "build" succeeds (or integrate with "buil
     - source /opt/kalray/accesscore/kalray.sh && make -j "$NJOBS"
     - make -j "$NJOBS" clightgen
     - source /opt/kalray/accesscore/kalray.sh && make documentation
-    - cp -rf doc/* public/
-    - make distclean
-    - ./config_aarch64.sh
-    - make -j "$NJOBS"
-    - make -j "$NJOBS" clightgen
     - make documentation
     - cp -rf doc/* public/
     - mv doc/index-verimag.html public/index.html
-- 
cgit