--- a/src/Cube/IsaMakefile Tue May 06 15:24:41 1997 +0200
+++ b/src/Cube/IsaMakefile Tue May 06 15:27:35 1997 +0200
@@ -4,7 +4,7 @@
# IsaMakefile for Cube
#
-OUT = $(ISABELLE_OUTPUT_DIR)
+OUT = $(ISABELLE_OUTPUT)
FILES = ROOT.ML Cube.thy Cube.ML
$(OUT)/Cube: $(OUT)/Pure $(FILES)