--- /usr/sbin/Check.orig	2003-02-12 00:12:37.000000000 +1300
+++ /usr/sbin/Check	2003-05-03 14:31:43.000000000 +1200
@@ -55,6 +55,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 ;;