[40784] trunk/dports/devel/distract/Portfile

[Joshua Root]

Ryan Schmidt wrote:
> Have you tested what happens if a user has "DisTract" installed and  
> then you update the port to a new version when it's called "distract"  
> and the user needs to upgrade? Does "port outdated" consider  
> "DisTract" and "distract" to be the same thing -- does it properly  
> suggest the new version? Does the upgrade work properly?
> 
> Probably when the port name and directory name do not match, it's  
> better to change the directory name rather than the port name.  
> Perhaps the lint message should be changed to suggest that.

Port names are case insensitive in trunk, but I'm not so sure this will
work properly in 1.6.

- Josh