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. --- website/publish | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'website') 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