From 4b9e2aa96a2f91478ec9a08514f20c6dce24f895 Mon Sep 17 00:00:00 2001 From: Mario Date: Tue, 5 Aug 2025 23:32:35 +0200 Subject: [PATCH] Make man page optional --- CMakeLists.txt | 4 +++- man/CMakeLists.txt | 1 - 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index bf14e05..443a7ec 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -42,7 +42,9 @@ add_custom_target( ${CMAKE_CURRENT_SOURCE_DIR} COMMENT "Generating version header" ) - add_subdirectory(man) + + +add_subdirectory(man) add_custom_target(schema-header DEPENDS "${GEN_HEADER_PATH}/schema-blob.h") add_custom_command( diff --git a/man/CMakeLists.txt b/man/CMakeLists.txt index ce192a9..16e636b 100644 --- a/man/CMakeLists.txt +++ b/man/CMakeLists.txt @@ -1,7 +1,6 @@ set (MAN_PAGE_NAME "patchelfcrc.1.gz") add_custom_target(man-page - ALL DEPENDS ${CMAKE_CURRENT_BINARY_DIR}/${MAN_PAGE_NAME} )