On Wed, 7 Jun 2000, Matt Thomas wrote:
> In any case we need a port-specific place to put the boot
> files.
>
> /usr/m${MACHINE} is one option as is /usr/mdec/${MACHINE}.
How about /usr/mdep/${MACHINE}/ The "dec" in mdec was for Digital, wasn't
it? :-)
Take care,
Bill