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)