diff options
| author | Saya Sugiura <ssugiura@jp.adit-jv.com> | 2019-03-14 17:26:47 +0900 |
|---|---|---|
| committer | Saya Sugiura <ssugiura@jp.adit-jv.com> | 2019-03-14 17:26:47 +0900 |
| commit | 92e704699867e3036ad5a3b84561541430d7493e (patch) | |
| tree | a7f894f94691100edf8873ed87c2d28ee8c3ba3a /doc | |
| parent | 6c0a8324558a5edf5ecc32a8544ebb425181610d (diff) | |
| download | DLT-daemon-92e704699867e3036ad5a3b84561541430d7493e.tar.gz | |
doc: Fix PANDOC_TOOL condition
doc/CMakeLists.txt had a wrong condition to check whether
PANDOC_TOOL was found.
Signed-off-by: Saya Sugiura <ssugiura@jp.adit-jv.com>
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/CMakeLists.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/CMakeLists.txt b/doc/CMakeLists.txt index 93d57de..0703570 100644 --- a/doc/CMakeLists.txt +++ b/doc/CMakeLists.txt @@ -87,9 +87,9 @@ if(WITH_MAN) /usr/local/bin) - if(NOT GZIP_TOOL) + if(NOT PANDOC_TOOL) MESSAGE(FATAL_ERROR "Could not find pandoc for man page generation.") - endif(NOT GZIP_TOOL) + endif(NOT PANDOC_TOOL) set(MAN_SRC_DIR ${CMAKE_CURRENT_SOURCE_DIR}) set(MAN_BUILD_DIR ${CMAKE_BINARY_DIR}/doc) |