diff options
Diffstat (limited to 'docs/teaching/exercises/build.xml')
| -rwxr-xr-x | docs/teaching/exercises/build.xml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/teaching/exercises/build.xml b/docs/teaching/exercises/build.xml index 4ba785dc1..faf523754 100755 --- a/docs/teaching/exercises/build.xml +++ b/docs/teaching/exercises/build.xml @@ -106,5 +106,10 @@ <delete dir="dist" /> </target> + <target name="javaclean"> + <delete dir="dist" /> + </target> + + </project> |