From: Adam Dickmeiss <adam@indexdata.dk>
Date: Wed, 27 Jun 2012 09:25:16 +0000 (+0200)
Subject: Merge branch 'master' of ssh://git.indexdata.com/home/git/pub/git-tools
X-Git-Url: http://git.indexdata.com/?a=commitdiff_plain;h=6940d0ee96d285d30417f47d54d733e4903d7c17;hp=61abd61c24e2f06057d6b8364c543c7cbdbe567d;p=git-tools-moved-to-github.git

Merge branch 'master' of ssh://git.indexdata.com/home/git/pub/git-tools
---

diff --git a/id-deb-build/id-upload.sh b/id-deb-build/id-upload.sh
index f6c08fe..671ae84 100755
--- a/id-deb-build/id-upload.sh
+++ b/id-deb-build/id-upload.sh
@@ -25,7 +25,7 @@ fi
 (cd doc && make ${PROD}.pdf index.html)
 cp NEWS doc/
 scp ${TAR} ftp.indexdata.dk:/home/ftp/pub/${PROD}/
-tar cz --exclude=.git -f - dox doc|ssh website "cd /var/www/software/${PROD}; tar xzf -"
+tar cz --exclude=.git -f - dox doc|ssh website "cd /var/www/software/${PROD}; tar x --overwrite -z -f -"
 # Local Variables:
 # mode:shell-script
 # sh-indentation: 2