summaryrefslogtreecommitdiff
path: root/doc/man
diff options
context:
space:
mode:
authordimitri staessens <dimitri.staessens@ugent.be>2017-08-21 09:11:38 +0000
committerSander Vrijders <sander.vrijders@ugent.be>2017-08-21 09:11:38 +0000
commit5b242e7207483860143d3c84438134430ac1448f (patch)
treea04a750b802436a4e244d8224b800a2f26071091 /doc/man
parentafe8b6f496dd4e0e3aaaa5dec0d6fb32253a49f7 (diff)
parent8f58e5a3ec0e4a15fc8ae0911cc864f5dbf86c6e (diff)
downloadouroboros-5b242e7207483860143d3c84438134430ac1448f.tar.gz
ouroboros-5b242e7207483860143d3c84438134430ac1448f.zip
Merged in dstaesse/ouroboros/be-build (pull request #557)
build: Revise the build system
Diffstat (limited to 'doc/man')
-rw-r--r--doc/man/CMakeLists.txt2
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/man/CMakeLists.txt b/doc/man/CMakeLists.txt
index f0ce5df4..eadd385e 100644
--- a/doc/man/CMakeLists.txt
+++ b/doc/man/CMakeLists.txt
@@ -20,6 +20,8 @@ find_program(GZIP_EXECUTABLE
NAMES gzip
DOC "Will gzip the man pages")
+mark_as_advanced(GZIP_EXECUTABLE)
+
if (GZIP_EXECUTABLE)
foreach (m ${MAN_NAMES})
set(md ${CMAKE_CURRENT_BINARY_DIR}/${m}.gz)