diff -r 74c1b51c1cd9 -r 24dae6222579 src/ZF/IsaMakefile
--- a/src/ZF/IsaMakefile	Tue May 06 15:24:41 1997 +0200
+++ b/src/ZF/IsaMakefile	Tue May 06 15:27:35 1997 +0200
@@ -6,7 +6,7 @@
 
 #### Base system
 
-OUT = $(ISABELLE_OUTPUT_DIR)
+OUT = $(ISABELLE_OUTPUT)
 
 NAMES = ZF upair subset pair domrange \
 	func AC equalities Bool \