diff options
Diffstat (limited to 'host')
| -rw-r--r-- | host/docs/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/host/docs/CMakeLists.txt b/host/docs/CMakeLists.txt index 3c49f8088..faf0c49de 100644 --- a/host/docs/CMakeLists.txt +++ b/host/docs/CMakeLists.txt @@ -140,7 +140,7 @@ IF(ENABLE_MAN_PAGES) ADD_CUSTOM_COMMAND( OUTPUT ${gzfile} DEPENDS ${manfile} - COMMAND ${GZIP_EXECUTABLE} -cf ${manfile} > ${gzfile} + COMMAND ${GZIP_EXECUTABLE} -9 -cf ${manfile} > ${gzfile} COMMENT "Generating ${PROGRAM_NAME} man page" ) |