On Fri Aug 15 13:25:46 AEST 2003 Fergus Henderson wrote: >> On 13-Aug-2003, Michael Day <mikeday at yeslogic.com> wrote: >> >> Is there a way to make the .mh files live in the Mercury directory instead >> of cluttering up the current directory? > > Currently no. Is this possible now?