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 (file)
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 0d8f1eeb376a6eca67dd4b6f6f3d1fdbb709a602..2bbe444a0e29c29cb2c6026ad7d363a2cc3706e7 100644 (file)
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1 +1,2 @@
 gui-launcher.patch
+dont_compress_manpages.patch