diff -r 74c1b51c1cd9 -r 24dae6222579 src/LCF/IsaMakefile
--- a/src/LCF/IsaMakefile	Tue May 06 15:24:41 1997 +0200
+++ b/src/LCF/IsaMakefile	Tue May 06 15:27:35 1997 +0200
@@ -4,7 +4,7 @@
 # IsaMakefile for LCF
 #
 
-OUT = $(ISABELLE_OUTPUT_DIR)
+OUT = $(ISABELLE_OUTPUT)
 FILES =	ROOT.ML LCF.thy LCF.ML simpdata.ML pair.ML fix.ML
 
 $(OUT)/LCF: $(OUT)/FOL $(FILES)