On 10.07.2011 21:05, Filip Hanik - Dev Lists wrote: > On 7/10/2011 6:59 AM, Rainer Jung wrote:
>> Wouldn't it suffice to remove the copied docs file and to clean >> jdbc-pool during the clean target? >> >> Something along the lines of: >> >> http://people.apache.org/~rjung/patches/tomcat-jdbc-pool-build-clean.patch >> > you can commit, no need to ask :) trunk is still CTR I know, will do. Just wanted to check, whether there was a specific reason to use clean-and-build. Regards, Rainer --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org