BUILD_DOCS should be an option.

develop
expwnent 2015-09-27 04:53:18 -04:00
parent e95aea90e0
commit 466c26f093
1 changed files with 1 additions and 1 deletions

@ -15,7 +15,7 @@ else(CMAKE_CONFIGURATION_TYPES)
endif (NOT CMAKE_BUILD_TYPE)
endif(CMAKE_CONFIGURATION_TYPES)
SET(BUILD_DOCS ON CACHE BOOL "Choose whether to build the documentation (requires python and Sphinx).")
OPTION(BUILD_DOCS "Choose whether to build the documentation (requires python and Sphinx)." ON)
## some generic CMake magic
cmake_minimum_required(VERSION 2.8 FATAL_ERROR)