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