diff options
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 |