From 787e3617826dce67ae1af4d7bbafc3adc0c379e5 Mon Sep 17 00:00:00 2001
From: Florent Pruvost <florent.pruvost@inria.fr>
Date: Fri, 22 May 2015 17:37:53 +0000
Subject: [PATCH] don't build the doc by default
---
CMakeLists.txt | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/CMakeLists.txt b/CMakeLists.txt
index 4f1e34fc1..6a7c834b3 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -210,7 +210,7 @@ if (MORSE_DISTRIB_DIR OR EXISTS "${CMAKE_SOURCE_DIR}/cmake_modules/")
# Options to enable/disable testings and timings
# ----------------------------------------------
- option(CHAMELEON_ENABLE_DOCS "Enable documentation build" ON)
+ option(CHAMELEON_ENABLE_DOCS "Enable documentation build" OFF)
if (CHAMELEON_ENABLE_DOCS)
message("-- ${BoldGreen}CHAMELEON_ENABLE_DOCS is set to ON, turn it OFF to avoid building docs${ColourReset}")
endif()
--
GitLab