Commits

Anonymous committed 2744c44
  • Participants
  • Parent commits d6b1b2e

Comments (0)

Files changed (1)

         <copy todir="${build.dist}/docs">
             <fileset dir="${docs}"/>
         </copy>
+
+        <copy todir="${build.dist}/docs">
+            <fileset dir="${src.etc}">
+                <include name="*.dtd"/> 
+            </fileset>
+        </copy>
+
     </target>
 
     <target name="dist" depends="jar, editor-jar, docs">