From cd53187bae596ab6f3c865bf02122e180d50cc32 Mon Sep 17 00:00:00 2001 From: Mark Wooding Date: Thu, 21 Apr 2016 09:47:53 +0100 Subject: [PATCH] debian/xtoys-gtk.install: Actually distribute the manpages. This seems to have been broken for a long time. --- debian/xtoys-gtk.install | 3 +++ 1 file changed, 3 insertions(+) diff --git a/debian/xtoys-gtk.install b/debian/xtoys-gtk.install index 4f6fd0f..79df130 100644 --- a/debian/xtoys-gtk.install +++ b/debian/xtoys-gtk.install @@ -1,4 +1,7 @@ debian/tmp/usr/bin/xcatch +debian/tmp/usr/share/man/man1/xcatch.1 debian/tmp/usr/bin/xgetline +debian/tmp/usr/share/man/man1/xgetline.1 debian/tmp/usr/bin/xmsg +debian/tmp/usr/share/man/man1/xmsg.1 debian/tmp/usr/lib/python* -- 2.11.0