alternatives for manpages

diff --git a/debian/jacktrip-gui.alternatives b/debian/jacktrip-gui.alternatives
index 3c1728e60dd37c8c04ee7ac7556bc3cb30ef7b67..14f8304c0b24b566885c94f2f0daafc811f3eae7 100644 (file)
--- 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 832fd25b4351091006e73d371511d55022048d30..b52c267f31755d65cdd4acaae318f3d39b942d43 100644 (file)
--- 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