X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/1180bb9c605c2c429e8339be413574876893637e..8496661293114d866119c9f0e2a96124e8632bda:/buildtools/Cmake/src/CMakeDistrib.txt

diff --git a/buildtools/Cmake/src/CMakeDistrib.txt b/buildtools/Cmake/src/CMakeDistrib.txt
index 67492b60cb..2d690a68c1 100755
--- a/buildtools/Cmake/src/CMakeDistrib.txt
+++ b/buildtools/Cmake/src/CMakeDistrib.txt
@@ -169,12 +169,9 @@ add_custom_command(TARGET install-simgrid
 	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}"
 )