src/Pure/mk

--- a/src/Pure/mk	Mon Jul 07 09:07:08 1997 +0200
+++ b/src/Pure/mk	Mon Jul 07 09:09:21 1997 +0200
@@ -30,6 +30,4 @@
 $ISABELLE \
   -e "val ml_system = \"$ML_SYSTEM\";" \
   -e "use\"$COMPAT\"; use\"ROOT.ML\" handle _ => exit 1;" \
-  -q RAW_ML_SYSTEM Pure
-
-chmod -w $ISABELLE_OUTPUT/Pure
+  -q -w RAW_ML_SYSTEM Pure