diff options
| -rw-r--r-- | CMakeLists.txt | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index d47a1d502..2e5667b91 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -314,8 +314,6 @@ if(NOT NO_DOCS) rm -rf ${CMAKE_BINARY_DIR}/Documentation/images && ln -s ${CMAKE_SOURCE_DIR}/Documentation/images ${CMAKE_BINARY_DIR}/Documentation/images ) -endif() -if(NOT NO_DOCS) add_custom_target( documentation ALL COMMAND |