Hi, it seems this function has suffered extinction in 5.0 - even before
the onslaught of massive global warming?
This would seem to quite significantly limit the flexibility of the make
system, as now a multi-directory source has to strictly mirror the
module and functor application structure. Worse, it makes it very hard
if not impossible to use external (non-basis) sources without physically
copying them to my source tree. Well, I guess there is still a way,
first run make in the remote directory, dump an image, then re-run
in my own directory loading that image - but it is laborious.
Is there a reason why it had to go?
--
This line is completely ham.
