From 7ebac668dfbe050688590bfbc1aaa910ebd4f652 Mon Sep 17 00:00:00 2001
From: Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr>
Date: Mon, 6 Dec 2021 23:22:34 +0100
Subject: improve doc CI

---
 .gitlab-ci.yml | 13 +++++++++----
 1 file changed, 9 insertions(+), 4 deletions(-)

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 2f0d598d..728bd3c3 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -311,14 +311,19 @@ pages: # TODO: change to "deploy" when "build" succeeds (or integrate with "buil
     - opam repo add coq-released https://coq.inria.fr/opam/released
     - opam install coq-coq2html
   script:
+    - mkdir public
     - source /opt/kalray/accesscore/kalray.sh && ./config_kvx.sh
     - source /opt/kalray/accesscore/kalray.sh && make -j "$NJOBS"
     - make -j "$NJOBS" clightgen
     - source /opt/kalray/accesscore/kalray.sh && make documentation
-    - mkdir public
-    - cp -r doc/* public/
-    - tools/fix_html_date.sh doc/index-verimag.html " (" ")" > public/index.html
-    - rm public/index-verimag.html
+    - 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
   artifacts:
     paths:
     - public
-- 
cgit