This is a message for Tomcat developers, in particular authors of the Tomcat Application Developers' Guide. Thank you for this simple and lucid yet so helpful and powerful document. It answered literally dozens of my questions and it's almost flawless except for a tiny bug in build.xml where in the "dist" target, the attribute of the "mkdir" task should be "dir" instead of "todir". Thanks again, Paul
-- To unsubscribe, e-mail: <mailto:[EMAIL PROTECTED]> For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>