From 5ea2a0cfd9e83009b0fad8106f511ebeb7a00c8c Mon Sep 17 00:00:00 2001
From: Denis Arrivault <denis.arrivault@lif.univ-mrs.fr>
Date: Wed, 20 Jun 2018 16:29:31 +0200
Subject: [PATCH] Correct the .gitlab-ci for generating the javadoc

---
 .gitlab-ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index cd745ea..7d1d091 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -40,6 +40,7 @@ pages:
     - docker
   script:
     - ./gradlew run
+    - ./gradlew javadoc
     - mkdir -p public/ && cp -r index.html public/
     - mkdir -p public/Tests_Results && cp -r build/reports/tests/test/* public/Tests_Results/
     - mkdir -p public/Jacoco && cp -r build/jacocoHtml/* public/Jacoco/
-- 
GitLab