diff options
Diffstat (limited to 'build.xml')
-rw-r--r-- | build.xml | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -71,6 +71,7 @@ | |||
71 | <zipfileset dir="${dir.lib}" includes="*.jar" prefix="${dir.zipsubdir}/${dir.lib}"/> | 71 | <zipfileset dir="${dir.lib}" includes="*.jar" prefix="${dir.zipsubdir}/${dir.lib}"/> |
72 | <zipfileset dir="${dir.javasrc}" includes="**/*.java" prefix="${dir.zipsubdir}/${dir.javasrc}"/> | 72 | <zipfileset dir="${dir.javasrc}" includes="**/*.java" prefix="${dir.zipsubdir}/${dir.javasrc}"/> |
73 | <zipfileset dir="${dir.docs}" includes="*.pdf" prefix="${dir.zipsubdir}/${dir.docs}"/> | 73 | <zipfileset dir="${dir.docs}" includes="*.pdf" prefix="${dir.zipsubdir}/${dir.docs}"/> |
74 | <zipfileset dir="${dir.docs}" includes="*.puml" prefix="${dir.zipsubdir}/${dir.docs}"/> | ||
74 | 75 | ||
75 | <zipfileset file="${file.ant}" prefix="${dir.zipsubdir}"/> | 76 | <zipfileset file="${file.ant}" prefix="${dir.zipsubdir}"/> |
76 | <zipfileset file="${file.jar}" prefix="${dir.zipsubdir}"/> | 77 | <zipfileset file="${file.jar}" prefix="${dir.zipsubdir}"/> |