diff options
Diffstat (limited to 'website')
| -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 |