Problem with patchfiles (same name for different versions)

[Vincent Lefevre]

On 2007-09-03 12:18:29 -0500, Ryan Schmidt wrote:
> I also don't know if patchfiles/distfiles can be renamed after
> download. In the absence of that feature, I recommend:
>
> dist_subdir ${name}/${version}
>
> (Instead of the default dist_subdir ${name})

Thanks, this solves the problem.

-- 
Vincent Lefèvre <vincent at vinc17.org> - Web: <http://www.vinc17.org/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/>
Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)