+foreach(file ${directory_to_create})
+ string(REPLACE "${PROJECT_DIRECTORY}" "." file "${file}")
+ add_custom_command(TARGET install-simgrid
+ COMMAND mkdir -p $ENV{DESTDIR}${prefix}/doc/simgrid/${file}
+ WORKING_DIRECTORY "${PROJECT_DIRECTORY}"
+ )
+endforeach(file ${directory_to_create})
+
+foreach(file ${ex_to_svg})
+ string(REPLACE "${PROJECT_DIRECTORY}" "." file "${file}")
+ add_custom_command(TARGET install-simgrid
+ COMMAND cp ${file} $ENV{DESTDIR}${prefix}/doc/simgrid/${file}
+ WORKING_DIRECTORY "${PROJECT_DIRECTORY}"
+ )
+endforeach(file ${ex_to_svg})
+
+add_custom_command(TARGET install-simgrid
+ COMMAND echo "install doc/examples OK"
+ WORKING_DIRECTORY "${PROJECT_DIRECTORY}"
+)
+
+add_custom_command(TARGET install-simgrid
+ COMMAND cp ${PROJECT_DIRECTORY}/doc/html/* $ENV{DESTDIR}${prefix}/doc/simgrid/html/ || true
+ COMMAND echo "install doc/html OK"
+ WORKING_DIRECTORY "${PROJECT_DIRECTORY}"
+)
+