From 466c26f0938b92d310db54bdf6a6a4397d4eeca6 Mon Sep 17 00:00:00 2001 From: expwnent Date: Sun, 27 Sep 2015 04:53:18 -0400 Subject: [PATCH] BUILD_DOCS should be an option. --- CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index c4f2db27c..a8780abce 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -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)