diff -r 74c1b51c1cd9 -r 24dae6222579 lib/Tools/makeall
--- a/lib/Tools/makeall	Tue May 06 15:24:41 1997 +0200
+++ b/lib/Tools/makeall	Tue May 06 15:27:35 1997 +0200
@@ -47,7 +47,7 @@
 
 echo Started at `date`
 echo Source=`pwd`
-echo Destination=$ISABELLE_OUTPUT_DIR
+echo Destination=$ISABELLE_OUTPUT
 echo force=$FORCE '    ' clean=$CLEAN '    '
 echo Compiler=$ML_SYSTEM
 echo Running on `hostname`
@@ -57,10 +57,10 @@
         echo '		**** Consider the -notest switch ****'
 esac
 
-mkdir -p $ISABELLE_OUTPUT_DIR
+mkdir -p $ISABELLE_OUTPUT
 
 case $FORCE.$EXEC in
-  on.on) (cd $ISABELLE_OUTPUT_DIR;
+  on.on) (cd $ISABELLE_OUTPUT;
           for f in Pure FOL ZF CCL LCF CTT Sequents HOL HOLCF Cube FOLP
 	  do 
 	   rm -f $f
@@ -91,7 +91,7 @@
 tail ZF/make$$.log
 gzip ZF/make$$.log
 case $CLEAN.$EXEC in
-    on.on)	rm -f $ISABELLE_OUTPUT_DIR/ZF
+    on.on)	rm -f $ISABELLE_OUTPUT/ZF
 esac
 
 echo
@@ -101,7 +101,7 @@
 tail CCL/make$$.log
 gzip CCL/make$$.log
 case $CLEAN.$EXEC in
-    on.on)	rm -f $ISABELLE_OUTPUT_DIR/CCL
+    on.on)	rm -f $ISABELLE_OUTPUT/CCL
 esac
 
 echo
@@ -111,7 +111,7 @@
 tail LCF/make$$.log
 gzip LCF/make$$.log
 case $CLEAN.$EXEC in
-  on.on)	rm -f $ISABELLE_OUTPUT_DIR/FOL $ISABELLE_OUTPUT_DIR/LCF
+  on.on)	rm -f $ISABELLE_OUTPUT/FOL $ISABELLE_OUTPUT/LCF
 esac
 
 echo
@@ -121,7 +121,7 @@
 tail CTT/make$$.log
 gzip CTT/make$$.log
 case $CLEAN.$EXEC in
-    on.on)	rm -f $ISABELLE_OUTPUT_DIR/CTT
+    on.on)	rm -f $ISABELLE_OUTPUT/CTT
 esac
 
 echo
@@ -131,7 +131,7 @@
 tail Sequents/make$$.log
 gzip Sequents/make$$.log
 case $CLEAN.$EXEC in
-    on.on)	rm -f $ISABELLE_OUTPUT_DIR/Sequents
+    on.on)	rm -f $ISABELLE_OUTPUT/Sequents
 esac
 
 echo
@@ -149,7 +149,7 @@
 tail HOLCF/make$$.log
 gzip HOLCF/make$$.log
 case $CLEAN.$EXEC in
-  on.on)	rm -f $ISABELLE_OUTPUT_DIR/HOL $ISABELLE_OUTPUT_DIR/HOLCF
+  on.on)	rm -f $ISABELLE_OUTPUT/HOL $ISABELLE_OUTPUT/HOLCF
 esac
 
 echo
@@ -157,7 +157,7 @@
 echo '*****The Lambda-Cube (Cube)*****'
 (cd Cube; $ISATOOL make $NO $TEST > make$$.log)
 case $CLEAN.$EXEC in
-    on.on)	rm -f $ISABELLE_OUTPUT_DIR/Cube
+    on.on)	rm -f $ISABELLE_OUTPUT/Cube
 esac
 tail Cube/make$$.log 
 gzip Cube/make$$.log 
@@ -167,7 +167,7 @@
 echo '*****First-Order Logic with Proof Terms (FOLP)*****'
 (cd FOLP; $ISATOOL make $NO $TEST > make$$.log)
 case $CLEAN.$EXEC in
-    on.on)	rm -f $ISABELLE_OUTPUT_DIR/FOLP
+    on.on)	rm -f $ISABELLE_OUTPUT/FOLP
 esac
 tail FOLP/make$$.log 
 gzip FOLP/make$$.log