diff options
author | Vasil Velichkov <vvvelichkov@gmail.com> | 2019-09-09 23:04:28 +0300 |
---|---|---|
committer | Piotr Krysik <ptrkrysik@gmail.com> | 2021-05-03 07:14:00 +0200 |
commit | 45b04bb3ccbb2310e34655e127a6bae796837ea5 (patch) | |
tree | 3ee6caa19905be7a370a552d935c6637f7e66e2b | |
parent | 0c2845650a4ca9ff9d93778750dd8ebbaa1a1137 (diff) |
Build the grgsm_livemon man page
Change-Id: Ie128d68965b5cb2c919afa408b4c8aa7ca87ea8c
-rw-r--r-- | docs/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/CMakeLists.txt b/docs/CMakeLists.txt index f9b8b40..ed0fe3d 100644 --- a/docs/CMakeLists.txt +++ b/docs/CMakeLists.txt @@ -53,7 +53,7 @@ endfunction() if(NOT RST2MAN_EXECUTABLE) message(WARNING "rst2man from python-docutils is required to build man pages") else() - #build_man_page(MAN1_OUTPUT grgsm_livemon.rst grgsm_livemon.1) + build_man_page(MAN1_OUTPUT grgsm_livemon.rst grgsm_livemon.1) install(FILES ${MAN1_OUTPUT} DESTINATION ${CMAKE_INSTALL_PREFIX}/share/man/man1) endif() |