Re: Problem with patchfiles (same name for different versions)

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@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)