aboutsummaryrefslogtreecommitdiff
path: root/website
diff options
context:
space:
mode:
Diffstat (limited to 'website')
-rwxr-xr-xwebsite/publish11
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