make force compress manpages

2026-03-19 20:13:36 +00:00 · 2018-06-25 22:30:55 +08:00
parent 8371e99cd1
commit cbfc70b35b
1 changed files with 1 additions and 1 deletions
--- a/functions/options
+++ b/functions/options
@@ -101,7 +101,7 @@ compressinfomanpages() {
 			(cd $mandir
 				for file in $(find . -type f); do
 					if [ "$file" = "${file%%.gz}" ]; then
-						gzip -9 "$file"
+						gzip -9 -f "$file"
 					fi
 				done
 				for i in $(find . -type l) ; do