diff --git a/build.xml b/build.xml index 9109bd4e..9a738450 100644 --- a/build.xml +++ b/build.xml @@ -116,11 +116,11 @@ - + - Now upload dist/website.tar to the webserver. + Now upload dist/website.tar.bz2 to the webserver. If you want to host projectlombok.org on github, run the website/publish script, but this is not where the site is currently hosted. diff --git a/website/publish b/website/publish index 554ec17e..412c71f6 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.tar ]; then - echo There is no dist/website.tar file! Run: +if [ ! -e dist/website.tar.bz2 ]; then + echo There is no dist/website.tar.bz2 file! Run: echo ant website echo then restart this script exit @@ -26,7 +26,7 @@ echo first before running this script fi git checkout gh-pages || exit rm -r * || exit -tar xf ../../../dist/website.tar || exit +tar xfj ../../../dist/website.tar.bz2 || exit git add . || exit git commit -a -m website || exit git push origin gh-pages || exit