manual: install manual conversion result files generated by cmake

Install the (optionally generated) HTML and PDF manual files. Absence of
the files is non-fatal.

diff --git a/manual/CMakeLists.txt b/manual/CMakeLists.txt
index 47e6fdda4b9d41667d6f4b740cbbaf81edb1b9dc..bdbd6c916d5e18c4b30d2e790bbcb7e99576690a 100644 (file)
--- a/manual/CMakeLists.txt
+++ b/manual/CMakeLists.txt
@@ -51,3 +51,10 @@ add_custom_target(manual-pdf
 )
 add_custom_target(manual)
 add_dependencies(manual manual-html manual-pdf)
+
+install(
+       FILES ${MANUAL_OUT_HTML} ${MANUAL_OUT_PDF}
+       DESTINATION "share/doc/pulseview"
+       PERMISSIONS OWNER_READ OWNER_WRITE GROUP_READ WORLD_READ
+       OPTIONAL
+)