diff --git a/CMakeLists.txt b/CMakeLists.txt index c2629590e..943de13ef 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -517,11 +517,19 @@ if(NOT insource) ln -s ${CMAKE_SOURCE_DIR}/Documentation/images ${CMAKE_BINARY_DIR}/Documentation/images ) endif() +else() + if(NOT NO_DOCS) + add_custom_target( + documentationLink ALL + ) + endif() endif() if(NOT NO_DOCS) add_custom_target( documentation ALL + COMMAND make -C ${CMAKE_SOURCE_DIR}/Documentation OUT=${CMAKE_BINARY_DIR}/Documentation/ doc + DEPENDS documentationLink ) endif()