[PATCH]fix for missing org.apache.tomcat.resources.web.dtd in source build

[Arion Yu <ar...@stt.com.hk>]

Index: build.xml
===================================================================
RCS file: /home/cvspublic/jakarta-tomcat/build.xml,v
retrieving revision 1.53
diff -u -r1.53 build.xml
--- build.xml 2000/06/30 23:37:12 1.53
+++ build.xml 2000/07/25 04:31:36
@@ -88,6 +88,7 @@
     <copydir src="src/share" dest="${tomcat.build}/classes"
              excludes="javax/**">
       <include name="**/*.properties" />
+      <include name="**/*.dtd" />
     </copydir>
   </target>



--
[This email and any files transmitted with it are confidential and may
contain information that is legally privileged. They are intended solely
for the addressee(s). Access to this email by anyone else is
unauthorized. If you are not the intended recipient, please delete it
and notify the sender by email immediately; you should not copy or use
it for any purpose, nor disclose its contents to any other person. Thank
you.]