[m-rev.] diff: remove support for non-grade specific .init files

[Julien Fischer]

On Fri, 1 Dec 2006, Julien Fischer wrote:

>
> I'll commit this one next week.
>
> Estimated hours taken: 0.5
> Branches: main
>
> Remove support for non-grade specific .init files.
>
> browser/Mmakefile:
> runtime/Mmakefile:
> scripts/Mmake.rules:
> compiler/make.program_target.m:
> 	Don't install the .init files in a non-grade specific location.

This has now been committed.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------