diff options
| -rwxr-xr-x | ci/before_deploy.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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 |