--- a/src/Pure/IsaMakefile Thu Sep 28 14:35:42 2000 +0200 +++ b/src/Pure/IsaMakefile Thu Sep 28 14:36:02 2000 +0200 @@ -51,11 +51,17 @@ @./mk -## RAW +## special targets + +Pure-copied: + @./mk -C RAW: @./mk -r +RAW-copied: + @./mk -Cr + ## clean