build: disable documentation generation per default

This commit is contained in:
Max Lübke 2022-11-10 16:00:50 +01:00
parent d010301bc1
commit 6483b9c249
2 changed files with 2 additions and 2 deletions

View File

@ -28,5 +28,5 @@ build-poet: # This job runs in the build stage, which runs first.
stage: build
script:
- mkdir build && cd build
- cmake -DBUILD_DOC=OFF ..
- cmake ..
- make -j$(nproc)

View File

@ -23,7 +23,7 @@ add_subdirectory(R_lib)
add_subdirectory(data)
add_subdirectory(app)
option(BUILD_DOC "Build documentation with doxygen" ON)
option(BUILD_DOC "Build documentation with doxygen" OFF)
if(BUILD_DOC)
add_subdirectory(docs)