diff --git a/abuild b/abuild index 7a8af57..6350b27 100755 --- a/abuild +++ b/abuild @@ -311,6 +311,12 @@ doc() { mv "$pkgdir/usr/share/$i" "$subpkgdir/usr/share/" fi done + + rm -f "$subpkgdir/usr/share/info/dir" + + # compress info and man pages + find "$subpkgdir/usr/share" \( -name '*.info' -o name '*.info-[1-9]' \ + -o -name '*.[1-9]' \) -exec gzip {} \; # remove if empty, ignore error (not empty) rmdir "$pkgdir/usr/share" "$pkgdir/usr" 2>/dev/null