From e46edbe609e22584cc8821b6790afc03791e05c9 Mon Sep 17 00:00:00 2001 From: =?utf8?q?IOhannes=20m=20zm=C3=B6lnig=20=28Debian/GNU=29?= Date: Wed, 30 Aug 2023 11:46:32 +0200 Subject: [PATCH] Add patch for a more useful manpage synopsis --- debian/patches/manpage.patch | 24 ++++++++++++++++++++++++ debian/patches/series | 1 + 2 files changed, 25 insertions(+) create mode 100644 debian/patches/manpage.patch diff --git a/debian/patches/manpage.patch b/debian/patches/manpage.patch new file mode 100644 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 508f6e0..30016a2 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1,2 +1,3 @@ build-without-git.patch gui-launcher.patch +manpage.patch -- 2.30.2