diff options
| author | Reinier Zwitserloot <reinier@tipit.to> | 2009-07-17 23:20:37 +0200 |
|---|---|---|
| committer | Reinier Zwitserloot <reinier@tipit.to> | 2009-07-17 23:20:37 +0200 |
| commit | 145e069d304e82e268333e3579273f1032a8867f (patch) | |
| tree | ca5510ef8ca912bd9190411ae26a2c8c18095447 /website/publish | |
| parent | 17d02d3ccace652353d75ee0ad9b5614cfa068b2 (diff) | |
| download | lombok-145e069d304e82e268333e3579273f1032a8867f.tar.gz lombok-145e069d304e82e268333e3579273f1032a8867f.tar.bz2 lombok-145e069d304e82e268333e3579273f1032a8867f.zip | |
Moved from zip to tar for storing the website as an intermediate step, as git for windows has tar but not unzip.
Diffstat (limited to 'website/publish')
| -rwxr-xr-x | website/publish | 2 |
1 files changed, 1 insertions, 1 deletions
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 |