diff options
Diffstat (limited to 'CMakeScripts')
| -rw-r--r-- | CMakeScripts/Pod2man.cmake | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CMakeScripts/Pod2man.cmake b/CMakeScripts/Pod2man.cmake index 42b4f4100..eda629274 100644 --- a/CMakeScripts/Pod2man.cmake +++ b/CMakeScripts/Pod2man.cmake @@ -56,7 +56,7 @@ macro(pod2man PODFILE_FULL RELEASE SECTION CENTER) if(GZIP) add_custom_command( OUTPUT ${MANFILE_FULL_GZ} - COMMAND ${GZIP} -k --best -n "${MANFILE_FULL}" + COMMAND ${GZIP} -f -k --best -n "${MANFILE_FULL}" DEPENDS ${MANFILE_FULL} ) add_custom_target(${MANPAGE_TARGET} ALL |