aboutsummaryrefslogtreecommitdiff
path: root/website/publish
diff options
context:
space:
mode:
Diffstat (limited to 'website/publish')
-rwxr-xr-xwebsite/publish2
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