From 09af2ea2475e440670b536f4a034a16c6308719c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jakub=20Klinkovsk=C3=BD?= <klinkovsky@mmg.fjfi.cvut.cz>
Date: Sun, 2 Feb 2020 17:05:13 +0100
Subject: [PATCH] .gitlab-ci.yml: fixed building documentation examples
---
.gitlab-ci.yml | 2 ++
build | 3 +--
2 files changed, 3 insertions(+), 2 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index e28135abf7..624a197299 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -137,6 +137,8 @@ cuda_examples_Debug:
WITH_CUDA: "yes"
BUILD_TYPE: Debug
WITH_EXAMPLES: "yes"
+ # build output snippets for documentation
+ WITH_DOC: "yes"
# store output snippets for documentation
artifacts:
paths:
diff --git a/build b/build
index 76169a7c4b..67492f02c3 100755
--- a/build
+++ b/build
@@ -86,12 +86,11 @@ if [[ ${HELP} == "yes" ]]; then
echo " --tests-jobs=NUM Number of processes to be used for the unit tests. It is 4 by default."
echo " --with-profiling=yes/no Enables code profiling compiler falgs. 'no' by default."
echo " --with-coverage=yes/no Enables code coverage reports for unit tests. 'no' by default (lcov is required)."
- echo " --with-doc=yes/no Build documentation. 'yes' by default."
+ echo " --with-doc=yes/no Generate the documentation. 'yes' by default."
echo " --with-examples=yes/no Compile the 'src/Examples' directory. 'yes' by default."
echo " --with-tools=yes/no Compile the 'src/Tools' directory. 'yes' by default."
echo " --with-python=yes/no Compile the Python bindings. 'yes' by default."
echo " --with-benchmarks=yes/no Compile the 'src/Benchmarks' directory. 'yes' by default."
- echo " --with-doc=yes/no Generate the documentation. 'yes' by default."
echo " --cmake=CMAKE Path to cmake. 'cmake' by default."
echo " --verbose It enables verbose build."
echo " --root-dir=PATH Path to the TNL source code root dir."
--
GitLab