From: IOhannes m zmölnig (Debian/GNU) Date: Mon, 25 Sep 2023 11:30:28 +0000 (+0200) Subject: Patch buildsystem to not compress manpages X-Git-Tag: archive/raspbian/2.5.1+ds-1+rpi1~1^2~41 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=5c10ed5a8520df93719cca9e8df0811dfcdc6977;p=jacktrip.git Patch buildsystem to not compress manpages --- 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