COMMAND echo "install doc/examples OK"
WORKING_DIRECTORY "${PROJECT_DIRECTORY}"
)
-if(NOT EXISTS ${PROJECT_DIRECTORY}/doc/html/)
- file(MAKE_DIRECTORY ${PROJECT_DIRECTORY}/doc/html/)
-endif(NOT EXISTS ${PROJECT_DIRECTORY}/doc/html/)
add_custom_command(TARGET install-simgrid
- COMMAND cp ${PROJECT_DIRECTORY}/doc/html/* $ENV{DESTDIR}${prefix}/doc/simgrid/html/
+ COMMAND cp ${PROJECT_DIRECTORY}/doc/html/* $ENV{DESTDIR}${prefix}/doc/simgrid/html/ || true
COMMAND echo "install doc/html OK"
WORKING_DIRECTORY "${PROJECT_DIRECTORY}"
)