[mercury-users] .mh files

[Michael Day]

Hi,

Is there a way to make the .mh files live in the Mercury directory instead 
of cluttering up the current directory?

I build with mmc --make --use-grade-subdirs, and get one .mh file per
module, which is quite inconvenient as they get in the way and I cannot
see how to make them live somewhere else. Any tips?

Thanks,

Michael

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------