36 lines
718 B
Diff
Executable file
36 lines
718 B
Diff
Executable file
diff -Naur pkgutils-5.40.7-ori/pkgmk.in pkgutils-5.40.7/pkgmk.in
|
|
--- pkgutils-5.40.7-ori/pkgmk.in 2019-09-26 15:05:08.390204500 +0800
|
|
+++ pkgutils-5.40.7/pkgmk.in 2019-09-26 15:12:28.462195200 +0800
|
|
@@ -433,6 +433,23 @@
|
|
done
|
|
}
|
|
|
|
+compress_infopages() {
|
|
+ cd $PKG
|
|
+
|
|
+ if [ -d usr/share/info ]; then
|
|
+ [ -f usr/share/info/dir ] && rm usr/share/info/dir
|
|
+ (cd usr/share/info
|
|
+ for file in $(find . -type f); do
|
|
+ if [ "$file" = "${file%%.gz}" ]; then
|
|
+ gzip -9 "$file"
|
|
+ fi
|
|
+ done
|
|
+ )
|
|
+ fi
|
|
+
|
|
+ cd - &>/dev/null
|
|
+}
|
|
+
|
|
compress_manpages() {
|
|
local FILE DIR TARGET
|
|
|
|
@@ -541,6 +558,8 @@
|
|
if [ "$PKGMK_NO_STRIP" = "no" ]; then
|
|
strip_files
|
|
fi
|
|
+
|
|
+ compress_infopages
|
|
|
|
compress_manpages
|
|
|