From 52c909aa77b6f4033c71e76433c89baee9b8268b Mon Sep 17 00:00:00 2001
From: Jean-Paul Chaput <Jean-Paul.Chaput@lip6.fr>
Date: Tue, 25 May 2010 15:53:47 +0000
Subject: [PATCH]   * ./crlcore:     - Change: Conditionnal compilation of
 "doc".

---
 crlcore/CMakeLists.txt | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/crlcore/CMakeLists.txt b/crlcore/CMakeLists.txt
index 91e70e60..82980f50 100644
--- a/crlcore/CMakeLists.txt
+++ b/crlcore/CMakeLists.txt
@@ -63,5 +63,7 @@ ENDIF(IS_USR OR IS_OPT)
 
 ADD_SUBDIRECTORY(src)
 ADD_SUBDIRECTORY(etc)
-ADD_SUBDIRECTORY(doc)
 ADD_SUBDIRECTORY(cmake_modules)
+IF(BUILD_DOC)
+  ADD_SUBDIRECTORY(doc)
+ENDIF(BUILD_DOC)