changeset 3869 | 79b54692d806 |
parent 3864 | e0ce3d4ec47d |
child 3926 | f5e499fda22c |
--- a/src/Pure/IsaMakefile Tue Oct 14 17:36:45 1997 +0200 +++ b/src/Pure/IsaMakefile Wed Oct 15 11:16:48 1997 +0200 @@ -21,12 +21,12 @@ search.ML section_utils.ML sequence.ML sign.ML sorts.ML symtab.ML tactic.ML \ tctical.ML term.ML theory.ML thm.ML type.ML type_infer.ML unify.ML -Pure: $(FILES) +$(OUT)/Pure: $(FILES) @./mk -RAW: $(FILES) +$(OUT)/RAW: $(FILES) @./mk -r test: Pure -.PRECIOUS: $(OUT)/Pure +.PRECIOUS: $(OUT)/Pure $(OUT)/RAW