--- jakarta-tomcat-5.0.16-src/src/jakarta-tomcat-5/build.xml.old 2003-12-17 17:11:41.000000000 +0200 +++ jakarta-tomcat-5.0.16-src/src/jakarta-tomcat-5/build.xml 2003-12-17 17:20:37.000000000 +0200 @@ -510,11 +510,12 @@ <mkdir dir="${tomcat.build}/webapps" /> <mkdir dir="${tomcat.build}/server/webapps" /> - <!-- The build files are far too difficult to hack - just build it and copy --> + <!-- <ant dir="${api.home}/jsr154" target="dist"> </ant> <ant dir="${api.home}/jsr152" target="dist"> </ant> + --> <mkdir dir="${tomcat.build}/webapps/servlets-examples"/> <copy todir="${tomcat.build}/webapps/servlets-examples">