diff -r 74c1b51c1cd9 -r 24dae6222579 src/Pure/IsaMakefile
--- a/src/Pure/IsaMakefile	Tue May 06 15:24:41 1997 +0200
+++ b/src/Pure/IsaMakefile	Tue May 06 15:27:35 1997 +0200
@@ -7,7 +7,7 @@
 # are loaded on top of it.
 #
 
-OUT = $(ISABELLE_OUTPUT_DIR)
+OUT = $(ISABELLE_OUTPUT)
 
 FILES = ML-Systems/polyml.ML ML-Systems/smlnj-0.93.ML \
 	ML-Systems/smlnj-1.07.ML ML-Systems/smlnj-1.09.ML ROOT.ML \