From 994152a6e9345232769580b3d094370cfca21b23 Mon Sep 17 00:00:00 2001
From: jcarpent <jcarpent@laas.fr>
Date: Tue, 22 May 2018 08:38:53 +0200
Subject: [PATCH] [Gitlab] Currently disable doc generation
This feature is not working on 16.04.
---
.gitlab-ci.yml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 78207d123..a8b01100c 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -28,8 +28,8 @@ cache:
- make install
- cd work.$(hostname)/$(make show-var VARNAME=DISTNAME)
- make check
- - make doc
- - mv doc/doxygen-html ${CI_PROJECT_DIR}
+# - make doc
+# - mv doc/doxygen-html ${CI_PROJECT_DIR}
robotpkg-pinocchio-14.04:
--
GitLab