From ba1a0391d5edf7b5cde4d841195d4ae27695d568 Mon Sep 17 00:00:00 2001 From: Roel Spilker Date: Fri, 17 Jul 2009 23:25:11 +0200 Subject: Check for tar file instead of zip file --- website/publish | 4 ++-- 1 file 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 -- cgit