Re: In Tomcat, is there a way to make the roots of the webserver and servlet eng the same?

[Peter Donald]

You may want to ask on tomcat lists - this is user list for ant tool - a
replacement for make.

Cheers,

Pete

*-----------------------------------------------------*
| "Faced with the choice between changing one's mind, |
| and proving that there is no need to do so - almost |
| everyone gets busy on the proof."                   |
|              - John Kenneth Galbraith               |
*-----------------------------------------------------*