+ set(MAN_EXT "")
+ if(GZIP_MAN)
+ find_program(PIGZ pigz)
+ if(PIGZ)
+ set(GZIP ${PIGZ})
+ else()
+ find_package(UnixCommands)
+ endif()
+ if(GZIP)
+ set(MAN_EXT ".gz")
+ add_custom_target(man_gz ALL
+ ${GZIP} -rkf ${SPHINX_MAN_DIR}
+ DEPENDS man
+ )
+ endif()
+ endif()
+