diff options
author | pacien | 2018-01-14 23:16:54 +0100 |
---|---|---|
committer | pacien | 2018-01-14 23:16:54 +0100 |
commit | f75f0fc23604c3f678ccd1743dcd19a4371d2a48 (patch) | |
tree | 789cce8bf73c97a8fafff06e62a345b3f5ee8470 | |
parent | 12c9d15bc951dbc80832104f68e5c6e140bdb770 (diff) | |
download | wallj-f75f0fc23604c3f678ccd1743dcd19a4371d2a48.tar.gz |
Rename zip subdir
Signed-off-by: pacien <pacien.trangirard@pacien.net>
-rw-r--r-- | build.xml | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -8,7 +8,7 @@ | |||
8 | <property name="dir.classes" value="classes"/> | 8 | <property name="dir.classes" value="classes"/> |
9 | <property name="dir.docs" value="docs"/> | 9 | <property name="dir.docs" value="docs"/> |
10 | <property name="dir.apidoc" value="${dir.docs}/doc"/> | 10 | <property name="dir.apidoc" value="${dir.docs}/doc"/> |
11 | <property name="dir.zipsubdir" value="Naili_Tran-Girard_WallJ.zip"/> | 11 | <property name="dir.zipsubdir" value="Naili_Tran-Girard_WallJ"/> |
12 | 12 | ||
13 | <property name="file.jar" value="${dir.out}/wallj.jar"/> | 13 | <property name="file.jar" value="${dir.out}/wallj.jar"/> |
14 | <property name="file.zip" value="${dir.out}/NailiTran-Girard_WallJ.zip"/> | 14 | <property name="file.zip" value="${dir.out}/NailiTran-Girard_WallJ.zip"/> |