From 86d59104270a580de8d2a550fb4290960c98eee9 Mon Sep 17 00:00:00 2001
From: Felix Morgner <felix.morgner@ost.ch>
Date: Mon, 15 Dec 2025 16:38:43 +0100
Subject: build: add option to disable documentation

---
 CMakeLists.txt | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'CMakeLists.txt')

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"
-- 
cgit v1.2.3