tuned;

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