Revision 2054
Added by sgarg about 20 years ago
| build.xml | ||
|---|---|---|
| 527 | 527 |
<mkdir dir="${installdir}/style/skins/${skin-name}" />
|
| 528 | 528 |
<copy todir="${installdir}/style/skins/${skin-name}" filtering="yes">
|
| 529 | 529 |
<fileset dir="lib/style/skins/${skin-name}">
|
| 530 |
<include name="*.*"/> |
|
| 530 |
<include name="*.*"/> |
|
| 531 |
<exclude name="*.png"/> |
|
| 532 |
<exclude name="*.gif"/> |
|
| 531 | 533 |
</fileset> |
| 532 | 534 |
</copy> |
| 535 |
<copy todir="${installdir}/style/skins/${skin-name}" filtering="no">
|
|
| 536 |
<fileset dir="lib/style/skins/${skin-name}">
|
|
| 537 |
<include name="*.png"/> |
|
| 538 |
<include name="*.gif"/> |
|
| 539 |
</fileset> |
|
| 540 |
</copy> |
|
| 533 | 541 |
|
| 534 | 542 |
<echo message="Install Skin completed." /> |
| 535 | 543 |
</target> |
Also available in: Unified diff
Made changes so that *.gif and *.png are copied without filtering.