From: Adam Dickmeiss Date: Tue, 3 Jul 2012 11:51:59 +0000 (+0200) Subject: Merge branch 'master' of ssh://git.indexdata.com:222/home/git/pub/git-tools X-Git-Url: http://git.indexdata.com/?a=commitdiff_plain;h=17d2816b97223b888f2b081004b4756a58c22ec4;hp=9ff30a5385c71b11235c920bfca597ea40a338ff;p=git-tools-moved-to-github.git Merge branch 'master' of ssh://git.indexdata.com:222/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