Merge branch 'master' into jgrpp

This commit is contained in:
Jonathan G Rennison
2020-11-04 17:55:00 +00:00
11 changed files with 280 additions and 75 deletions

View File

@@ -46,7 +46,7 @@ if(OPTION_INSTALL_FHS)
install(CODE
"
execute_process(COMMAND ${CMAKE_COMMAND} -E copy ${MAN_SOURCE_FILE} ${MAN_BINARY_FILE})
execute_process(COMMAND gzip -9 -f ${MAN_BINARY_FILE})
execute_process(COMMAND gzip -9 -n -f ${MAN_BINARY_FILE})
"
COMPONENT manual)
install(FILES