diff options
Diffstat (limited to 'doc/CMakeLists.txt')
-rw-r--r-- | doc/CMakeLists.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/CMakeLists.txt b/doc/CMakeLists.txt index ad3113344..33bc1d45d 100644 --- a/doc/CMakeLists.txt +++ b/doc/CMakeLists.txt @@ -34,6 +34,7 @@ set(examples_targets "") set(snippets_targets "") add_definitions("-DEIGEN_MAKING_DOCS") +add_custom_target(all_examples) add_subdirectory(examples) add_subdirectory(special_examples) @@ -74,7 +75,6 @@ add_custom_target(doc ALL COMMAND ${CMAKE_COMMAND} -E remove eigen-doc/eigen-doc.tgz COMMAND ${CMAKE_COMMAND} -E tar cvfz eigen-doc/eigen-doc.tgz eigen-doc COMMAND ${CMAKE_COMMAND} -E rename eigen-doc html - WORKING_DIRECTORY ${Eigen_BINARY_DIR}/doc - VERBATIM) + WORKING_DIRECTORY ${Eigen_BINARY_DIR}/doc) add_dependencies(doc doc-eigen-prerequisites doc-unsupported-prerequisites) |