diff options
author | Olivier Goffart <ogoffart@woboq.com> | 2018-05-29 16:35:19 +0300 |
---|---|---|
committer | Camila San <hello@camila.codes> | 2018-06-10 17:07:22 +0300 |
commit | 1b6cc36a612f8927a200db1ae9218ac1d1cb09e4 (patch) | |
tree | d781029a3a577ae443d835cc7a76c4cea40305a4 /man | |
parent | e82fdee90c547609cd6f1291cef3dd4033295eff (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} ) |