[m-rev.] for tryout and review: install .module_dep files to grade-specific directories

[Julien Fischer]

On Sat, 31 Aug 2024 at 22:53, Julien Fischer <jfischer at opturion.com> wrote:

> > So if you say this is the case, I intend
> > to back out my change to make .module_dep files grade-specific
> > to let --use-grade-subdirs work again.
>
> I'll try re-installing and re-testing as above and let you know how that goes.

That made no difference whatsoever.
(The contents of the installed Mercury installation are in the attached file.)

Julien.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: INSTALL_TREE.gz
Type: application/x-gzip
Size: 24005 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20240901/140fea29/attachment-0001.bin>