From 71bb2a90d081c2bd441dfd678fa862e5ad6e25f3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Christian=20D=C3=BCrr?= <contact@christianduerr.com>
Date: Mon, 12 Nov 2018 12:35:06 +0100
Subject: [PATCH] Fix failing github releases

The manpage was incorrectly zipped up with the `-z` option, which
doesn't exist and created a 0-size file. Since Github does not accept
0-size files, this lead to the complete release deployment failing.

Changing this to use the `-c` option should fix this problem by creating
a proper non-zero size gzip file.
---
 ci/before_deploy.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/before_deploy.sh b/ci/before_deploy.sh
index f30d3015..04793032 100755
--- a/ci/before_deploy.sh
+++ b/ci/before_deploy.sh
@@ -57,7 +57,7 @@ fi
 
 # Convert and add manpage if it changed
 if [ -n "$(git diff $prev_tag HEAD alacritty.man)" ]; then
-    gzip -z "./alacritty.man" > "./target/deploy/alacritty.1.gz"
+    gzip -c "./alacritty.man" > "./target/deploy/alacritty.1.gz"
 fi
 
 # Offer extra files if they changed