From 25f11f26624f9854a81822666747026722208703 Mon Sep 17 00:00:00 2001 From: Reinier Zwitserloot Date: Fri, 17 Jul 2009 22:45:05 +0200 Subject: Remove reliance on dirname, as its not available on some git-for-windows installs. --- website/publish | 11 ++++------- 1 file changed, 4 insertions(+), 7 deletions(-) (limited to 'website') diff --git a/website/publish b/website/publish index 4894c4e7..d97fd22d 100755 --- a/website/publish +++ b/website/publish @@ -1,10 +1,9 @@ #!/bin/bash -CURDIR=`pwd` - - -cd `dirname $0` || exit -cd .. || exit +if [ ! -e src/lombok/core/Version.java ]; then + echo Run this script from the lombok project home directory. + exit +fi if [ ! -e dist/website.zip ]; then echo There is no dist/website.zip file! Run: @@ -27,7 +26,5 @@ git push origin gh-pages || exit cd .. || exit rm -rf websitegit || exit -cd "$CURDIR" - echo Your gh-pages branch has been updated. Do not forget to run: echo git push origin gh-pages -- cgit