diff options
author | Olivier Goffart <ogoffart@woboq.com> | 2018-05-29 16:35:19 +0300 |
---|---|---|
committer | Markus Goetz <markus@woboq.com> | 2018-05-29 17:12:58 +0300 |
commit | 47aa1ade71fbca85af5844357d8b08efcc9a2a5a (patch) | |
tree | 51f8387ac47a3af6145d37da4d4165b199b66549 /man | |
parent | 7ba48849c659f21861a687131fdf8f9486f6c158 (diff) |
Fix make doc-man in shadow build
Issue #6555
Diffstat (limited to 'man')
-rw-r--r-- | man/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/CMakeLists.txt b/man/CMakeLists.txt index f99b0dee6..86782966b 100644 --- a/man/CMakeLists.txt +++ b/man/CMakeLists.txt @@ -7,7 +7,7 @@ if(SPHINX_FOUND) set(SPHINX_MAN_DIR "${CMAKE_CURRENT_BINARY_DIR}/man1") install(DIRECTORY ${SPHINX_MAN_DIR} DESTINATION ${CMAKE_INSTALL_MANDIR} OPTIONAL) add_custom_target( doc-man ${SPHINX_EXECUTABLE} - -c ${CMAKE_SOURCE_DIR}/doc -b man + -c ${CMAKE_BINARY_DIR}/doc -b man -d ${SPHINX_CACHE_DIR}/man ${CMAKE_CURRENT_SOURCE_DIR} ${SPHINX_MAN_DIR} ) |