add_custom_target(dist-dir
COMMENT "Generating the distribution directory"
COMMAND test -e simgrid-${release_version}/ && chmod -R a+w simgrid-${release_version}/ || true
COMMAND ${CMAKE_COMMAND} -E remove_directory simgrid-${release_version}/
COMMAND ${CMAKE_COMMAND} -E make_directory simgrid-${release_version}
COMMAND ${CMAKE_COMMAND} -E make_directory simgrid-${release_version}/doc/html/
add_custom_target(dist-dir
COMMENT "Generating the distribution directory"
COMMAND test -e simgrid-${release_version}/ && chmod -R a+w simgrid-${release_version}/ || true
COMMAND ${CMAKE_COMMAND} -E remove_directory simgrid-${release_version}/
COMMAND ${CMAKE_COMMAND} -E make_directory simgrid-${release_version}
COMMAND ${CMAKE_COMMAND} -E make_directory simgrid-${release_version}/doc/html/