changeset 3118 | 24dae6222579 |
parent 2960 | a6b56d03ed0d |
child 3593 | f53de7618ef8 |
1.1 --- a/src/Pure/IsaMakefile Tue May 06 15:24:41 1997 +0200 1.2 +++ b/src/Pure/IsaMakefile Tue May 06 15:27:35 1997 +0200 1.3 @@ -7,7 +7,7 @@ 1.4 # are loaded on top of it. 1.5 # 1.6 1.7 -OUT = $(ISABELLE_OUTPUT_DIR) 1.8 +OUT = $(ISABELLE_OUTPUT) 1.9 1.10 FILES = ML-Systems/polyml.ML ML-Systems/smlnj-0.93.ML \ 1.11 ML-Systems/smlnj-1.07.ML ML-Systems/smlnj-1.09.ML ROOT.ML \