diff options
| author | Vasil Velichkov <vvvelichkov@gmail.com> | 2019-09-09 23:04:28 +0300 |
|---|---|---|
| committer | Piotr Krysik <ptrkrysik@gmail.com> | 2020-02-14 15:14:59 +0000 |
| commit | cd4d050bf9a2bcef337f16ee150122b9a84c2818 (patch) | |
| tree | 3ee6caa19905be7a370a552d935c6637f7e66e2b /docs/CMakeLists.txt | |
| parent | a623940437622e11b6f9490a8bcfaaee0e9ae222 (diff) | |
Build the grgsm_livemon man page
Change-Id: Ie128d68965b5cb2c919afa408b4c8aa7ca87ea8c
Diffstat (limited to 'docs/CMakeLists.txt')
| -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() |