From a42f1fcf23a179a3bd6f76f6c0b621b844dfd8bd Mon Sep 17 00:00:00 2001
From: Pierre Esterie <pierre.esterie@inria.fr>
Date: Fri, 7 May 2021 11:52:21 +0200
Subject: [PATCH] fix doc folder
---
.gitlab-ci.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 307dcff..387255f 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -41,6 +41,6 @@ pages:
- public
script:
- mkdir public
- - mv build/Doc/html/* public/
+ - mv build/docs/html/* public/
only:
- master
--
GitLab