diff options
| author | Reinier Zwitserloot <reinier@tipit.to> | 2009-07-28 18:23:54 +0200 |
|---|---|---|
| committer | Reinier Zwitserloot <reinier@tipit.to> | 2009-07-28 18:23:54 +0200 |
| commit | 7068db574ee40cc9df2fffbeef1078bf0569bbcf (patch) | |
| tree | 3e2441660242734778dee50d3e83cdc940a378b1 /website/publish | |
| parent | b4a4da1f9741ea6afb147dd4289989ec705a3fbd (diff) | |
| download | lombok-7068db574ee40cc9df2fffbeef1078bf0569bbcf.tar.gz lombok-7068db574ee40cc9df2fffbeef1078bf0569bbcf.tar.bz2 lombok-7068db574ee40cc9df2fffbeef1078bf0569bbcf.zip | |
Updated website target to bzip2 the content, as our deployment these days isn't via git, but via an ssh upload.
Diffstat (limited to 'website/publish')
| -rwxr-xr-x | website/publish | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/website/publish b/website/publish index 554ec17e..412c71f6 100755 --- a/website/publish +++ b/website/publish @@ -5,8 +5,8 @@ if [ ! -e src/lombok/core/Version.java ]; then exit fi -if [ ! -e dist/website.tar ]; then - echo There is no dist/website.tar file! Run: +if [ ! -e dist/website.tar.bz2 ]; then + echo There is no dist/website.tar.bz2 file! Run: echo ant website echo then restart this script exit @@ -26,7 +26,7 @@ echo first before running this script fi git checkout gh-pages || exit rm -r * || exit -tar xf ../../../dist/website.tar || exit +tar xfj ../../../dist/website.tar.bz2 || exit git add . || exit git commit -a -m website || exit git push origin gh-pages || exit |