diff options
author | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-12-06 21:34:46 +0100 |
---|---|---|
committer | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-12-06 21:34:46 +0100 |
commit | 820e1ecbca864982ebc7b8efc453d057e374a4f7 (patch) | |
tree | 260d27374b776f025c62a44f0ba08dcf4ea7a32f /.gitlab-ci.yml | |
parent | 47cdb65b2290df66690d34d6a09745fb364ef392 (diff) | |
download | compcert-kvx-820e1ecbca864982ebc7b8efc453d057e374a4f7.tar.gz compcert-kvx-820e1ecbca864982ebc7b8efc453d057e374a4f7.zip |
[Cherry picking] 01ade46b340267d8782c413f6bd5a3cff13ef0a6
starting a new index-verimag.html on BTL doc
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 9534282d..2f0d598d 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -317,8 +317,8 @@ pages: # TODO: change to "deploy" when "build" succeeds (or integrate with "buil - source /opt/kalray/accesscore/kalray.sh && make documentation - mkdir public - cp -r doc/* public/ - - tools/fix_html_date.sh doc/index-kvx.html " (" ")" > public/index.html - - rm public/index-kvx.html + - tools/fix_html_date.sh doc/index-verimag.html " (" ")" > public/index.html + - rm public/index-verimag.html artifacts: paths: - public |