src/Pure/IsaMakefile
changeset 3926 f5e499fda22c
parent 3869 79b54692d806
child 3986 d788dcb86930
     1.1 --- a/src/Pure/IsaMakefile	Fri Oct 17 17:42:39 1997 +0200
     1.2 +++ b/src/Pure/IsaMakefile	Fri Oct 17 18:03:46 1997 +0200
     1.3 @@ -24,7 +24,7 @@
     1.4  $(OUT)/Pure: $(FILES)
     1.5  	@./mk
     1.6  
     1.7 -$(OUT)/RAW: $(FILES)
     1.8 +RAW: $(FILES)
     1.9  	@./mk -r
    1.10  
    1.11  test: Pure