From 59910bbfc60b60c5fe159e80c3291521acfc3d61 Mon Sep 17 00:00:00 2001 From: Enno Boland Date: Fri, 15 Jan 2016 13:18:17 +0100 Subject: [PATCH] cdrtools: remove useless man pages. --- srcpkgs/cdrtools/template | 1 + 1 file changed, 1 insertion(+) diff --git a/srcpkgs/cdrtools/template b/srcpkgs/cdrtools/template index 42683431f4b..f81f2c34e2b 100644 --- a/srcpkgs/cdrtools/template +++ b/srcpkgs/cdrtools/template @@ -20,4 +20,5 @@ do_install() { # Remove useless stuff rm -rf ${DESTDIR}/usr/include rm -rf ${DESTDIR}/usr/lib/lib* ${DESTDIR}/usr/lib/profiled + rm -rf ${DESTDIR}/usr/share/man/man3 }