diff options
Diffstat (limited to 'website/publish')
-rwxr-xr-x | website/publish | 2 |
1 files changed, 1 insertions, 1 deletions
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 |