From 0d18fedd4048785e6004cc9dfdbc746487e39fe5 Mon Sep 17 00:00:00 2001 From: Michele Calgaro Date: Sun, 7 Aug 2022 16:23:56 +0900 Subject: DEB arts: man pages moved to main repository. Signed-off-by: Michele Calgaro --- ubuntu/_base/dependencies/arts/debian/libartsc0-trinity-dev.install | 1 + 1 file changed, 1 insertion(+) (limited to 'ubuntu/_base/dependencies/arts/debian/libartsc0-trinity-dev.install') diff --git a/ubuntu/_base/dependencies/arts/debian/libartsc0-trinity-dev.install b/ubuntu/_base/dependencies/arts/debian/libartsc0-trinity-dev.install index 125ebc39e..fcecb09b2 100644 --- a/ubuntu/_base/dependencies/arts/debian/libartsc0-trinity-dev.install +++ b/ubuntu/_base/dependencies/arts/debian/libartsc0-trinity-dev.install @@ -4,6 +4,7 @@ debian/tmp/opt/trinity/include/artsc/artsc_export.h debian/tmp/opt/trinity/lib/libartsc.la debian/tmp/opt/trinity/lib/libartsc.so debian/tmp/opt/trinity/lib/libartsgsl.a +debian/tmp/opt/trinity/share/man/man1/artsc-config-trinity.1 debian/tmp/usr/lib/pkgconfig/arts.pc debian/tmp/usr/lib/pkgconfig/artsc.pc -- cgit v1.2.1