diff options
Diffstat (limited to 'doc/CMakeLists.txt')
| -rw-r--r-- | doc/CMakeLists.txt | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/doc/CMakeLists.txt b/doc/CMakeLists.txt index 96bff41bf..ad3113344 100644 --- a/doc/CMakeLists.txt +++ b/doc/CMakeLists.txt @@ -71,8 +71,10 @@ add_custom_target(doc ALL COMMAND doxygen COMMAND doxygen Doxyfile-unsupported # run doxygen twice to get proper eigen <=> unsupported cross references COMMAND ${CMAKE_COMMAND} -E rename html eigen-doc - COMMAND ${CMAKE_COMMAND} -E tar cvfz eigen-doc/eigen-doc.tgz eigen-doc/*.html eigen-doc/*.map eigen-doc/*.png eigen-doc/*.css eigen-doc/*.js eigen-doc/*.txt eigen-doc/unsupported + 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) + WORKING_DIRECTORY ${Eigen_BINARY_DIR}/doc + VERBATIM) add_dependencies(doc doc-eigen-prerequisites doc-unsupported-prerequisites) |