man page: gzip should no longer delete generated file, preventing constant rebuilding
This commit is contained in:
parent
0b9b57117f
commit
e735768e52
@ -29,7 +29,7 @@ else(NOT RONN OR NOT GZIP)
|
|||||||
add_custom_command(OUTPUT "${outfile}.gz"
|
add_custom_command(OUTPUT "${outfile}.gz"
|
||||||
DEPENDS "${outfile}"
|
DEPENDS "${outfile}"
|
||||||
COMMAND "${GZIP}"
|
COMMAND "${GZIP}"
|
||||||
ARGS -f "${outfile}"
|
ARGS -fk "${outfile}"
|
||||||
)
|
)
|
||||||
set(manpages ${manpages} "${outfile}.gz")
|
set(manpages ${manpages} "${outfile}.gz")
|
||||||
endmacro(generate_manpage)
|
endmacro(generate_manpage)
|
||||||
|
Loading…
Reference in New Issue
Block a user