--- Makefile~	Wed Mar 22 22:23:30 2000
+++ Makefile	Thu Jan 11 23:40:04 2001
@@ -8,7 +8,7 @@
 SHELL = /bin/sh
 RM = rm -f
 MV = mv
-WORLDOPTS = -k
+#WORLDOPTS = -k
 WIN32WORLDOPTS = -i
 TOP = .
 CURRENT_DIR = .