From e6c7a8e44f2315914fd575a1e10dbc16e1f1f29c Mon Sep 17 00:00:00 2001
From: Jiri Konecny <jkonecny@redhat.com>
Date: Wed, 18 Dec 2019 17:32:15 +0100
Subject: [PATCH] Make possible to change compression for make dist

This will make possible to get the same archive from make dist as from
GitHub archives. GitHub archives do not support current bzip2.
---
 src/Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/Makefile b/src/Makefile
index 68e8c7c3..df423929 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -1,6 +1,8 @@
 debug ?= no
 static ?= no
 gzip_man ?= yes
+# to get format compatible with GitHub archive use "gzip -S .gz" here
+compress_bin ?= bzip2
 
 ifneq ($(gzip_man),yes)
     ifneq ($(gzip_man),no)
@@ -148,7 +150,7 @@ dist:
 	echo "$(version)" > src/.version;                                         \
 	tar --transform "s,^,$${basename}/," -rf $${basename}.tar src/.version;   \
 	rm src/.version;                                                          \
-	bzip2 $${basename}.tar;
+	$(compress_bin) $${basename}.tar;
 
 distclean: clean
 	rm -f kak kak$(suffix)