diff options
author | Reinier Zwitserloot <reinier@tipit.to> | 2009-07-17 23:40:48 +0200 |
---|---|---|
committer | Reinier Zwitserloot <reinier@tipit.to> | 2009-07-17 23:40:48 +0200 |
commit | c3d31c31d891c03a82eb29d2fe01234c992fb396 (patch) | |
tree | 7e5819ab86fb9ec366d3935ba5257e1b1825f871 /website/publish | |
parent | 021665f443daf189c15a7460c92d46a9c37beeaf (diff) | |
parent | ba1a0391d5edf7b5cde4d841195d4ae27695d568 (diff) | |
download | lombok-c3d31c31d891c03a82eb29d2fe01234c992fb396.tar.gz lombok-c3d31c31d891c03a82eb29d2fe01234c992fb396.tar.bz2 lombok-c3d31c31d891c03a82eb29d2fe01234c992fb396.zip |
Merge branch 'master' of git@github.com:rzwitserloot/lombok
Diffstat (limited to 'website/publish')
-rwxr-xr-x | website/publish | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/website/publish b/website/publish index 1d8f1551..554ec17e 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.zip ]; then - echo There is no dist/website.zip file! Run: +if [ ! -e dist/website.tar ]; then + echo There is no dist/website.tar file! Run: echo ant website echo then restart this script exit |