[431133] Also publish the TPs when using promote.sh

Bug: 431133
Change-Id: I1361048d80abc698a368b0e1265aff4e14cb2862
Signed-off-by: Pierre-Charles David <pierre-charles.david@obeo.fr>
diff --git a/packaging/org.eclipse.sirius.parent/promote.sh b/packaging/org.eclipse.sirius.parent/promote.sh
index c701d69..5f446e2 100644
--- a/packaging/org.eclipse.sirius.parent/promote.sh
+++ b/packaging/org.eclipse.sirius.parent/promote.sh
@@ -41,3 +41,7 @@
 }
 
 promote "packaging/org.eclipse.sirius.update" "org.eclipse.sirius/master/$PLATFORM"
+
+# Publish the target platform definitions used, so that dowstream projects can reference them
+ssh "$SSH_ACCOUNT" mkdir -p "$PROMOTION_ROOT/$MODULE/targets"
+scp -r "$WORKSPACE"/releng/org.eclipse.sirius.targets/* "$SSH_ACCOUNT:$PROMOTION_ROOT/$MODULE/targets"