From cbfc70b35b8eb77b45aeb0e6234b4607be69ba37 Mon Sep 17 00:00:00 2001
From: emmett1 <emmett1.2miligrams@gmail.com>
Date: Mon, 25 Jun 2018 22:30:55 +0800
Subject: [PATCH] make force compress manpages

---
 functions/options | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/functions/options b/functions/options
index 2089151..7bf5c61 100644
--- 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