From 5c10ed5a8520df93719cca9e8df0811dfcdc6977 Mon Sep 17 00:00:00 2001 From: =?utf8?q?IOhannes=20m=20zm=C3=B6lnig=20=28Debian/GNU=29?= Date: Mon, 25 Sep 2023 13:30:28 +0200 Subject: [PATCH] Patch buildsystem to not compress manpages --- debian/patches/dont_compress_manpages.patch | 26 +++++++++++++++++++++ debian/patches/series | 1 + 2 files changed, 27 insertions(+) create mode 100644 debian/patches/dont_compress_manpages.patch diff --git a/debian/patches/dont_compress_manpages.patch b/debian/patches/dont_compress_manpages.patch new file mode 100644 index 0000000..5f763e8 --- /dev/null +++ b/debian/patches/dont_compress_manpages.patch @@ -0,0 +1,26 @@ +Description: Prevent buildsystem from gzipping manpages + dh_installman does this for us +Author: IOhannes m zmölnig +Origin: Debian +Forwarded: not-needed +Last-Update: 2023-09-25 +--- +This patch header follows DEP-3: http://dep.debian.net/deps/dep3/ +--- jacktrip.orig/meson.build ++++ jacktrip/meson.build +@@ -306,7 +306,7 @@ + command: [help2man, help2man_opts, '--output=@OUTPUT@', jacktrip], + install: not gzip.found(), + install_dir: get_option('mandir') / 'man1') +- if gzip.found() ++ if gzip.found() or false + custom_target('jacktrip.1.gz', + input: manfile, + output: 'jacktrip.1.gz', +@@ -324,4 +324,4 @@ + summary({'Application ID': application_id, + 'GUI': not get_option('nogui'), + 'WAIR': get_option('wair'), +- 'Manpage': help2man.found()}, bool_yn: true, section: 'Configuration') +\ No newline at end of file ++ 'Manpage': help2man.found()}, bool_yn: true, section: 'Configuration') diff --git a/debian/patches/series b/debian/patches/series index 0d8f1ee..2bbe444 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1 +1,2 @@ gui-launcher.patch +dont_compress_manpages.patch -- 2.30.2