--- a/src/Pure/mk Tue May 06 15:24:41 1997 +0200
+++ b/src/Pure/mk Tue May 06 15:27:35 1997 +0200
@@ -32,4 +32,4 @@
-e "use\"$COMPAT\"; use\"ROOT.ML\" handle _ => exit 1;" \
-q RAW_ML_SYSTEM Pure
-chmod -w $ISABELLE_OUTPUT_DIR/Pure
+chmod -w $ISABELLE_OUTPUT/Pure