From 8adbba4750bdccf5458ef94e69c5e2872b6568de Mon Sep 17 00:00:00 2001
From: Philippe Depouilly <Philippe.Depouilly@math.u-bordeaux.fr>
Date: Thu, 28 Oct 2021 16:01:16 +0200
Subject: [PATCH] doc on pages CI
---
.gitlab-ci.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index a6a1a6d..e909907 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -199,7 +199,7 @@ pages:
- ci.inria.fr
script:
- mkdir -p build && cd build && cmake .. -DBUILD_DOCUMENTATION=ON -DBUILD_CORE=ON
- - cd doc && make doc && mv latex ../../public
+ - cd doc && make doc && mv html ../../public
artifacts:
paths:
- public
--
GitLab