diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-03-21 22:23:33 +0000 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2022-03-22 09:21:48 +0000 |
| commit | 663e034926bbcefa6c179b16d9156296f782630b (patch) | |
| tree | 0c94d6adf471ba560b5984c8497763b09e796ee9 /docs | |
| parent | 1e7c7734c086404f407b01c7d830ffddc460b267 (diff) | |
| download | klee-663e034926bbcefa6c179b16d9156296f782630b.tar.gz | |
Disabled Doxygen by default
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/CMakeLists.txt | 2 |
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) |