summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorSaya Sugiura <ssugiura@jp.adit-jv.com>2019-03-14 17:26:47 +0900
committerSaya Sugiura <ssugiura@jp.adit-jv.com>2019-03-14 17:26:47 +0900
commit92e704699867e3036ad5a3b84561541430d7493e (patch)
treea7f894f94691100edf8873ed87c2d28ee8c3ba3a /doc
parent6c0a8324558a5edf5ecc32a8544ebb425181610d (diff)
downloadDLT-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.txt4
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)