--- 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)