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