diff options
| author | Matthias Melcher <git@matthiasm.com> | 2019-01-03 23:23:43 +0100 |
|---|---|---|
| committer | Matthias Melcher <git@matthiasm.com> | 2019-01-03 23:23:43 +0100 |
| commit | 46e76129535d40d5fea8824977897ed1518a0543 (patch) | |
| tree | 100cd6814478145013d326018f72f0235bd61b67 /CMake | |
| parent | caacc856850fa81ce45bf52cbaa6a1863182a4ac (diff) | |
| parent | 8856b9670119d5353d7a2bd3d4299e9478b9ce1f (diff) | |
Merge remote-tracking branch 'upstream/master'
Diffstat (limited to 'CMake')
| -rw-r--r-- | CMake/options.cmake | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/CMake/options.cmake b/CMake/options.cmake index bc3aa7e69..c747484bd 100644 --- a/CMake/options.cmake +++ b/CMake/options.cmake @@ -142,6 +142,10 @@ option(OPTION_FILESYSTEM_SUPPORT "allow file system support" ON) if(DOXYGEN_FOUND) option(OPTION_BUILD_HTML_DOCUMENTATION "build html docs" OFF) option(OPTION_INSTALL_HTML_DOCUMENTATION "install html docs" OFF) + + option(OPTION_INCLUDE_DRIVER_DOCUMENTATION "include driver (developer) docs" OFF) + mark_as_advanced(OPTION_INCLUDE_DRIVER_DOCUMENTATION) + if(LATEX_FOUND) option(OPTION_BUILD_PDF_DOCUMENTATION "build pdf docs" OFF) option(OPTION_INSTALL_PDF_DOCUMENTATION "install pdf docs" OFF) |