diff options
| author | Reinier Zwitserloot <reinier@tipit.to> | 2009-07-17 22:45:05 +0200 |
|---|---|---|
| committer | Reinier Zwitserloot <reinier@tipit.to> | 2009-07-17 22:45:05 +0200 |
| commit | 25f11f26624f9854a81822666747026722208703 (patch) | |
| tree | 35131e488121ebd93bd8015e8509f95c1338869a /website | |
| parent | c50e4c2ed65b8da60f2743a972063c98f40cf3a6 (diff) | |
| download | lombok-25f11f26624f9854a81822666747026722208703.tar.gz lombok-25f11f26624f9854a81822666747026722208703.tar.bz2 lombok-25f11f26624f9854a81822666747026722208703.zip | |
Remove reliance on dirname, as its not available on some git-for-windows installs.
Diffstat (limited to 'website')
| -rwxr-xr-x | website/publish | 11 |
1 files changed, 4 insertions, 7 deletions
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 |