From 145e069d304e82e268333e3579273f1032a8867f Mon Sep 17 00:00:00 2001 From: Reinier Zwitserloot Date: Fri, 17 Jul 2009 23:20:37 +0200 Subject: Moved from zip to tar for storing the website as an intermediate step, as git for windows has tar but not unzip. --- build.xml | 8 ++++---- website/publish | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/build.xml b/build.xml index 1aacf43f..d27d6037 100644 --- a/build.xml +++ b/build.xml @@ -69,10 +69,10 @@ - - - - + + + + diff --git a/website/publish b/website/publish index d97fd22d..45d8a764 100755 --- a/website/publish +++ b/website/publish @@ -19,7 +19,7 @@ cd websitegit || exit git branch gh-pages origin/gh-pages || exit git checkout gh-pages || exit rm -r * || exit -unzip ../../../dist/website.zip || exit +tar xf ../../../dist/website.tar || exit git add . || exit git commit -a -m website || exit git push origin gh-pages || exit -- cgit