diff options
| -rw-r--r-- | build.xml | 4 | ||||
| -rwxr-xr-x | website/publish | 6 |
2 files changed, 5 insertions, 5 deletions
@@ -116,11 +116,11 @@ <param name="transformationName" value="SneakyThrows" /> </antcall> <mkdir dir="dist" /> - <tar destfile="dist/website.tar"> + <tar destfile="dist/website.tar.bz2" compression="bzip2"> <tarfileset dir="build/website" /> <tarfileset dir="doc/api" prefix="api" /> </tar> - <echo>Now upload dist/website.tar to the webserver.</echo> + <echo>Now upload dist/website.tar.bz2 to the webserver.</echo> <echo>If you want to host projectlombok.org on github, run the website/publish script, but this is not where the site is currently hosted.</echo> </target> 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 |