diff -r 8251c6a02d6f -r 328aea4ee92b sbin/sync/sync_ldt_platform_venv
--- a/sbin/sync/sync_ldt_platform_venv	Mon Nov 26 18:56:46 2012 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,25 +0,0 @@
-#!/usr/bin/env bash
-set -e
-if [ -d ~/tmp/platform_V$1 ]; then
-    rm -fr ~/tmp/platform_V$1;
-fi
-
-hg archive -r V$1 ~/tmp/platform_V$1
-
-#text2unix ~/tmp/platform_V$1
-
-if [ -d ~/tmp/platform_V$1 ]; then
-    cat <<EOT | rsync -Cvrlz --delete --filter=". -" ~/tmp/platform_V$1/virtualenv/ web.iri.centrepompidou.fr:projects/platform/virtualenv
-+ core
-P web/env/***
-P setup/env/***
-EOT
-    cat <<EOT | rsync -Cvrlz --delete --filter=". -" ~/tmp/platform_V$1/src/ldt/ web.iri.centrepompidou.fr:projects/platform/ldt
-+ core
-EOT
-fi
-
-if [ -d ~/tmp/platform_V$1 ]; then
-    echo "Deleting temp export"
-    rm -fr ~/tmp/platform_V$1;
-fi