From 520842fa61606ecfd3319f4dfc82083afc906e43 Mon Sep 17 00:00:00 2001 From: navarro Date: Thu, 29 Mar 2012 14:14:12 +0200 Subject: [PATCH 1/1] Copy simgrid.dtd into simgrid versionning --- buildtools/Cmake/Distrib.cmake | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/buildtools/Cmake/Distrib.cmake b/buildtools/Cmake/Distrib.cmake index 58c37f47cc..c7a32855de 100644 --- a/buildtools/Cmake/Distrib.cmake +++ b/buildtools/Cmake/Distrib.cmake @@ -338,7 +338,8 @@ WORKING_DIRECTORY "${CMAKE_HOME_DIRECTORY}" add_dependencies(sync-gforge-doc simgrid_documentation) add_custom_target(sync-gforge-dtd -COMMAND scp src/surf/simgrid.dtd scm.gforge.inria.fr:/home/groups/simgrid/htdocs/${release_version}/ +COMMAND scp src/surf/simgrid.dtd scm.gforge.inria.fr:/home/groups/simgrid/htdocs/simgrid/${release_version}/simgrid.dtd +COMMAND scp src/surf/simgrid.dtd scm.gforge.inria.fr:/home/groups/simgrid/htdocs/simgrid.dtd WORKING_DIRECTORY "${CMAKE_HOME_DIRECTORY}" ) -- 2.20.1