cdrtools: remove useless man pages.

2016-01-15 13:18:17 +01:00 · 2016-01-15 13:18:17 +01:00 · 59910bbfc6
parent 11576b78d3
commit 59910bbfc6
1 changed files with 1 additions and 0 deletions
--- 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
 }