From e024c8f12221e6ab8616ae3fd23fd528adc105a5 Mon Sep 17 00:00:00 2001 From: =?utf8?q?IOhannes=20m=20zm=C3=B6lnig=20=28Debian/GNU=29?= Date: Thu, 25 Nov 2021 14:21:29 +0100 Subject: [PATCH] alternatives for manpages --- debian/jacktrip-gui.alternatives | 2 ++ debian/jacktrip.alternatives | 2 ++ 2 files changed, 4 insertions(+) diff --git a/debian/jacktrip-gui.alternatives b/debian/jacktrip-gui.alternatives index 3c1728e..14f8304 100644 --- a/debian/jacktrip-gui.alternatives +++ b/debian/jacktrip-gui.alternatives @@ -1,5 +1,7 @@ Name: jacktrip Link: /usr/bin/jacktrip Alternative: /usr/bin/jacktrip-gui +Dependents: + /usr/share/man/man1/jacktrip.1.gz jacktrip.1.gz /usr/share/man/man1/jacktrip-gui.1.gz Priority: 50 diff --git a/debian/jacktrip.alternatives b/debian/jacktrip.alternatives index 832fd25..b52c267 100644 --- a/debian/jacktrip.alternatives +++ b/debian/jacktrip.alternatives @@ -1,5 +1,7 @@ Name: jacktrip Link: /usr/bin/jacktrip Alternative: /usr/bin/jacktrip-cli +Dependents: + /usr/share/man/man1/jacktrip.1.gz jacktrip.1.gz /usr/share/man/man1/jacktrip-cli.1.gz Priority: 10 -- 2.30.2