about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
authorCristian Cadar <c.cadar@imperial.ac.uk>2022-03-21 22:23:33 +0000
committerMartinNowack <2443641+MartinNowack@users.noreply.github.com>2022-03-22 09:21:48 +0000
commit663e034926bbcefa6c179b16d9156296f782630b (patch)
tree0c94d6adf471ba560b5984c8497763b09e796ee9
parent1e7c7734c086404f407b01c7d830ffddc460b267 (diff)
downloadklee-663e034926bbcefa6c179b16d9156296f782630b.tar.gz
Disabled Doxygen by default
-rw-r--r--docs/CMakeLists.txt2
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/CMakeLists.txt b/docs/CMakeLists.txt
index 5cab7b4a..8cbd93c9 100644
--- a/docs/CMakeLists.txt
+++ b/docs/CMakeLists.txt
@@ -10,7 +10,7 @@
 # Top level target for building all documentation
 add_custom_target(docs)
 
-option(ENABLE_DOXYGEN "Enable building doxygen documentation" ON)
+option(ENABLE_DOXYGEN "Enable building doxygen documentation" OFF)
 if (ENABLE_DOXYGEN)
   find_package(Doxygen)
   if (DOXYGEN_FOUND)