diff options
author | Reinier Zwitserloot <reinier@tipit.to> | 2009-07-28 18:23:54 +0200 |
---|---|---|
committer | Reinier Zwitserloot <reinier@tipit.to> | 2009-07-28 18:23:54 +0200 |
commit | 7068db574ee40cc9df2fffbeef1078bf0569bbcf (patch) | |
tree | 3e2441660242734778dee50d3e83cdc940a378b1 | |
parent | b4a4da1f9741ea6afb147dd4289989ec705a3fbd (diff) | |
download | lombok-7068db574ee40cc9df2fffbeef1078bf0569bbcf.tar.gz lombok-7068db574ee40cc9df2fffbeef1078bf0569bbcf.tar.bz2 lombok-7068db574ee40cc9df2fffbeef1078bf0569bbcf.zip |
Updated website target to bzip2 the content, as our deployment these days isn't via git, but via an ssh upload.
-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 |