From 7068db574ee40cc9df2fffbeef1078bf0569bbcf Mon Sep 17 00:00:00 2001 From: Reinier Zwitserloot Date: Tue, 28 Jul 2009 18:23:54 +0200 Subject: Updated website target to bzip2 the content, as our deployment these days isn't via git, but via an ssh upload. --- website/publish | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'website/publish') 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 -- cgit