summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--DartConfig.cmake1
1 files changed, 1 insertions, 0 deletions
diff --git a/DartConfig.cmake b/DartConfig.cmake
index 1f569019d2..f5eef1413a 100644
--- a/DartConfig.cmake
+++ b/DartConfig.cmake
@@ -23,6 +23,7 @@ SET (USE_DOXYGEN "On")
SET (DOXYGEN_URL "http://www.cmake.org/doc/nightly/html/" )
OPTION(BUILD_DOXYGEN "Build source documentation using doxygen" "Off")
SET (DOXYGEN_CONFIG "${PROJECT_BINARY_DIR}/doxygen.config" )
+MARK_AS_ADVANCED(BUILD_DOXYGEN)
SET (USE_GNATS "Off")
SET (GNATS_WEB_URL "http://${DROP_SITE}/cgi-bin/gnatsweb.pl/CMake/")