Add patch for a more useful manpage synopsis

diff --git a/debian/patches/manpage.patch b/debian/patches/manpage.patch
new file mode 100644 (file)
index 0000000..2f46d3c
--- /dev/null
+++ b/debian/patches/manpage.patch
@@ -0,0 +1,24 @@
+Description: Provide a useful whatis entry in the manpage
+Author: IOhannes m zmölnig
+Origin: Debian
+Bug: https://github.com/jacktrip/jacktrip/issues/1185
+Last-Update: 2023-08-30
+---
+This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
+--- jacktrip.orig/meson.build
++++ jacktrip/meson.build
+@@ -293,6 +293,7 @@
+       if help2man.found()
+               gzip = find_program('gzip', required: false)
+               help2man_opts = [
++                      '--name="Network Music Performance over the Internet"',
+                       '--no-info',
+                       '--section=1']
+               manfile = custom_target('jacktrip.1',
+@@ -317,4 +318,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 508f6e07d8dc113f09e810ae4416251ca37a831d..30016a2150a200e274a3fbfec2b08a069521fbba 100644 (file)
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,2 +1,3 @@
 build-without-git.patch
 gui-launcher.patch
+manpage.patch