diff options
| -rw-r--r-- | build.xml | 8 | ||||
| -rwxr-xr-x | website/publish | 2 |
2 files changed, 5 insertions, 5 deletions
@@ -69,10 +69,10 @@ <param name="transformationName" value="Data" /> </antcall> <mkdir dir="dist" /> - <zip destfile="dist/website.zip"> - <zipfileset dir="build/website" /> - <zipfileset dir="doc/api" prefix="api" /> - </zip> + <tar destfile="dist/website.tar"> + <tarfileset dir="build/website" /> + <tarfileset dir="doc/api" prefix="api" /> + </tar> </target> <target name="-integrateSnippet"> diff --git a/website/publish b/website/publish index d97fd22d..45d8a764 100755 --- a/website/publish +++ b/website/publish @@ -19,7 +19,7 @@ cd websitegit || exit git branch gh-pages origin/gh-pages || exit git checkout gh-pages || exit rm -r * || exit -unzip ../../../dist/website.zip || exit +tar xf ../../../dist/website.tar || exit git add . || exit git commit -a -m website || exit git push origin gh-pages || exit |