src/Pure/IsaMakefile
changeset 3869 79b54692d806
parent 3864 e0ce3d4ec47d
child 3926 f5e499fda22c
     1.1 --- a/src/Pure/IsaMakefile	Tue Oct 14 17:36:45 1997 +0200
     1.2 +++ b/src/Pure/IsaMakefile	Wed Oct 15 11:16:48 1997 +0200
     1.3 @@ -21,12 +21,12 @@
     1.4  	search.ML section_utils.ML sequence.ML sign.ML sorts.ML symtab.ML tactic.ML \
     1.5  	tctical.ML term.ML theory.ML thm.ML type.ML type_infer.ML unify.ML
     1.6  
     1.7 -Pure: $(FILES)
     1.8 +$(OUT)/Pure: $(FILES)
     1.9  	@./mk
    1.10  
    1.11 -RAW: $(FILES)
    1.12 +$(OUT)/RAW: $(FILES)
    1.13  	@./mk -r
    1.14  
    1.15  test: Pure
    1.16  
    1.17 -.PRECIOUS: $(OUT)/Pure
    1.18 +.PRECIOUS: $(OUT)/Pure $(OUT)/RAW