Johnny Lam wrote:
> Roland Illig wrote:
>> would it be hard to move mk/*.dist into mk/platform/ and adjust
>> pkgsrc to it? I think the latter is a better place for these files.
> 
> This idea wasn't so well-received when I proposed it a while ago.

Then I don't understand what the directory "platform" is for, if not for 
platform-specific files. I couldn't find your proposal in the mailing 
list archive.

Could someone please tell me why the files should _not_ be placed in 
mk/platform?

Roland