diff options
Diffstat (limited to 'deskutils/nextcloudclient/files/patch-man_CMakeLists.txt')
| -rw-r--r-- | deskutils/nextcloudclient/files/patch-man_CMakeLists.txt | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/deskutils/nextcloudclient/files/patch-man_CMakeLists.txt b/deskutils/nextcloudclient/files/patch-man_CMakeLists.txt new file mode 100644 index 000000000000..c5412b20ae9f --- /dev/null +++ b/deskutils/nextcloudclient/files/patch-man_CMakeLists.txt @@ -0,0 +1,15 @@ +--- man/CMakeLists.txt.orig 2017-12-20 15:03:02 UTC ++++ man/CMakeLists.txt +@@ -3,6 +3,12 @@ if(SPHINX_FOUND) + # Sphinx cache with pickled ReST documents + set(SPHINX_CACHE_DIR "${CMAKE_CURRENT_BINARY_DIR}/_doctrees") + ++ if(WITH_DOC) ++ add_custom_target(man ALL DEPENDS doc-man COMMENT "Building manual pages...") ++ else(WITH_DOC) ++ add_custom_target(man DEPENDS doc-maan COMMENT "Building manual pages...") ++ endif(WITH_DOC) ++ + # HTML output directory + set(SPHINX_MAN_DIR "${CMAKE_CURRENT_BINARY_DIR}/man1") + install(DIRECTORY ${SPHINX_MAN_DIR} DESTINATION ${CMAKE_INSTALL_MANDIR} OPTIONAL) |