diff -r 989ef5e9d543 -r b1bfd394b60a src/Pure/IsaMakefile
--- a/src/Pure/IsaMakefile	Mon Oct 06 09:26:00 1997 +0200
+++ b/src/Pure/IsaMakefile	Mon Oct 06 18:20:15 1997 +0200
@@ -21,9 +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
 
-$(OUT)/Pure: $(FILES)
+Pure: $(FILES)
 	@./mk
 
-test: $(OUT)/Pure
+RAW: $(FILES)
+	@./mk -r
+
+test: Pure
 
 .PRECIOUS: $(OUT)/Pure