[m-rev.] trivial diff: delete java mercury directories

[Zoltan Somogyi]

On 13-Jun-2009, Peter Wang <novalazy at gmail.com> wrote:
> Also, on a case-insensitive filesystem, the `mercury' directory might be
> confused with the `Mercury' directory.  If we force mmc --make when
> installing the java grade, as for the erlang grade, then `mercury' will
> always appear somewhere under `Mercury'.

Given case-insensitive filesystems, whatever part of the compiler uses
directories named "mercury" should be changed to use some other name.
Any other solution is asking for trouble.

Zoltan.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------