Revision 10187 trunk/extensions/extRasterTools/build.xml
build.xml | ||
---|---|---|
32 | 32 |
<!-- <buildnumber/> --> |
33 | 33 |
</target> |
34 | 34 |
|
35 |
<target name="import-build-number"> |
|
36 |
<copy todir="."> |
|
37 |
<fileset file="${buildNumberFile}"/> |
|
38 |
</copy> |
|
39 |
</target> |
|
40 |
|
|
35 | 41 |
<target name="generate-without-source" |
36 | 42 |
description="generate the distribution without the source file"> |
37 | 43 |
|
... | ... | |
48 | 54 |
<fileset dir="${dist}" includes="${jarName}"/> |
49 | 55 |
</move> |
50 | 56 |
<copy file="config/config.xml" todir="${extensionsDir}/${plugin}"/> |
57 |
<copy file="build.number" todir="${extensionsDir}/${plugin}"/> |
|
51 | 58 |
<copy file="config/plugin.dtd" todir="${extensionsDir}/${plugin}"/> |
52 | 59 |
<copy todir="${extensionsDir}/${plugin}"> |
53 | 60 |
<fileset dir="config" includes="text*.properties"/> |
... | ... | |
86 | 93 |
|
87 | 94 |
<target name="copy-data-files"> |
88 | 95 |
<copy file="config/config.xml" todir="${dist}"/> |
96 |
<copy file="build.number" todir="${dist}"/> |
|
89 | 97 |
<copy file="config/plugin.dtd" todir="${dist}"/> |
90 | 98 |
<copy todir="${dist}"> |
91 | 99 |
<fileset dir="config" includes="text*.properties"/> |
Also available in: Unified diff