diff options
| -rwxr-xr-x | abuild | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -319,9 +319,9 @@ doc() { 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 {} \; +# # 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 |