From d1102774a72abe0bda0a834f1911ea03d2eb1843 Mon Sep 17 00:00:00 2001 From: gregory guy Date: Thu, 3 Dec 2020 14:30:02 +0100 Subject: Add man pages, taken from the Debian packaging. Signed-off-by: gregory guy (cherry picked from commit 40399f389dae6b1ee9a628fb1167c186be62179a) --- doc/man/ksmiletris/CMakeLists.txt | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 doc/man/ksmiletris/CMakeLists.txt (limited to 'doc/man/ksmiletris/CMakeLists.txt') diff --git a/doc/man/ksmiletris/CMakeLists.txt b/doc/man/ksmiletris/CMakeLists.txt new file mode 100644 index 00000000..8f52e818 --- /dev/null +++ b/doc/man/ksmiletris/CMakeLists.txt @@ -0,0 +1,7 @@ +file( GLOB _mans RELATIVE ${CMAKE_CURRENT_SOURCE_DIR} *.6 ) + +INSTALL( + FILES ${_mans} + DESTINATION ${MAN_INSTALL_DIR}/man6 + COMPONENT doc +) -- cgit v1.2.1