--- /usr/sbin/Check.orig	2002-05-22 02:43:11.000000000 +1200
+++ /usr/sbin/Check	2002-12-05 11:02:49.000000000 +1300
@@ -54,6 +54,14 @@
 done
 
 for DIR in $DIRS ; do
+    # THIS IS REALLY ANNOYING!!!
+    # This *^@$&*!*@# of a script comes and gzips all my man pages
+    # in /usr/local/ !!
+    # Fix that.
+    test ! "${DIR#/usr/local/}" = "$DIR" && {
+    	echo "$0: Keeping my hands off: $DIR"
+	continue
+    }
     case "$DIR" in
 	*/usr/X11R6/lib/X11/fonts/CID) continue ;;
 	*/usr/X11R6/lib/X11/fonts/truetype) continue ;;