Re: [MiNT] MiNT directory name

[barrilli@club-internet.fr (Vincent Barrilliot)]

>   I vote for  mint/.

I also vote for "mint", as it won't break compatibility with old stuff
and because it's what I currently use ;-p

I don't like "multitos" because for me Multitos is MiNT+AES 4.1, and
the files that must be in "mint" have nothing to do with the AES.
As there's a "gemsys" for VDI/GDOS/NVDI,
we could also consider "mintsys".

"freemint" and "mintboot" are also good but they break compatibility.
Anyway I think having the same directory name for everybody is a good
idea as it will avoid confusion for new comers.

Vincent