aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFelix Morgner <felix.morgner@ost.ch>2025-12-15 16:38:43 +0100
committerFelix Morgner <felix.morgner@ost.ch>2025-12-15 16:38:43 +0100
commit86d59104270a580de8d2a550fb4290960c98eee9 (patch)
tree244b841147d1e0251c3e53bb11557710f582b25c
parentd2ae06ac6c19c1d6258f2ba0888e03795712826d (diff)
downloadteachos-86d59104270a580de8d2a550fb4290960c98eee9.tar.xz
teachos-86d59104270a580de8d2a550fb4290960c98eee9.zip
build: add option to disable documentation
-rw-r--r--CMakeLists.txt3
1 files changed, 2 insertions, 1 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt
index 5bf8404..2343c77 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -17,6 +17,7 @@ include("GenerateBootableIso")
#]============================================================================]
option(TEACHOS_ENABLE_LINTING "Enable linting during build" ON)
+option(TEACHOS_GENERATE_DOCS "Generate documentation during build" ON)
#[============================================================================[
# Global Build System Configuration
@@ -54,7 +55,7 @@ endif()
find_package(Doxygen "1.10")
-if(Doxygen_FOUND)
+if(Doxygen_FOUND AND TEACHOS_GENERATE_DOCS)
doxygen_add_docs("docs"
ALL
COMMENT "Generating documentation"