From b13d7994c402ef31dc2401ddb563b13aa248d67e Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Thu, 31 Oct 2019 11:24:11 +0100
Subject: [PATCH] CI: Generate the _html dir before trying to copy it
---
.gitlab-ci.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 4177ba3f..d934b343 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -35,7 +35,7 @@ pages:
- make odoc
- mkdir public
- cd guides/users
- - make README.html
+ - make
- cp README.html ../../public/index.html
- cp -rf _html ../../public/
- cp -rf ../styles/ ../../public/
--
GitLab