From 92e704699867e3036ad5a3b84561541430d7493e Mon Sep 17 00:00:00 2001 From: Saya Sugiura Date: Thu, 14 Mar 2019 17:26:47 +0900 Subject: doc: Fix PANDOC_TOOL condition doc/CMakeLists.txt had a wrong condition to check whether PANDOC_TOOL was found. Signed-off-by: Saya Sugiura --- doc/CMakeLists.txt | 4 ++-- 1 file 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) -- cgit v1.2.1