diff options
author | Danny Rawlins <monster.romster@gmail.com> | 2013-03-05 22:33:29 +1100 |
---|---|---|
committer | Danny Rawlins <monster.romster@gmail.com> | 2013-03-05 22:33:54 +1100 |
commit | f950d8a0c4b15ebe7a6efe467e0106bcc12c07f0 (patch) | |
tree | a8e84ec9003abde845f3c55a2deea0b922d8b110 /mkvtoolnix | |
parent | 9e16c6c5d70878d01fc1f1e5c2fe7b597d2ae9b9 (diff) | |
download | contrib-f950d8a0c4b15ebe7a6efe467e0106bcc12c07f0.tar.gz contrib-f950d8a0c4b15ebe7a6efe467e0106bcc12c07f0.tar.xz |
mkvtoolnix: fix for wxgtk extra files in /usr/include
Diffstat (limited to 'mkvtoolnix')
-rw-r--r-- | mkvtoolnix/Pkgfile | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/mkvtoolnix/Pkgfile b/mkvtoolnix/Pkgfile index e3e86ed4d..e042fc6cf 100644 --- a/mkvtoolnix/Pkgfile +++ b/mkvtoolnix/Pkgfile @@ -7,7 +7,7 @@ name=mkvtoolnix version=6.0.0 -release=1 +release=2 source=(http://www.bunkus.org/videotools/mkvtoolnix/sources/$name-$version.tar.xz) build() { @@ -36,5 +36,9 @@ build() { $PKG/usr/man/{uk,ja,nl,zh_CN} \ $PKG/usr/share/locale - rmdir $PKG/usr/share + # remove doc's if wxgtk is installed + rm -rf $PKG/usr/share/doc + + # remove if empty + find $PKG/usr/share -depth -empty -delete } |