From: Doni Pracner Date: Mon, 11 Nov 2013 19:29:53 +0000 (+0100) Subject: ant build - task to make transf-ini, and to run transf-min.wls on everything generate... X-Git-Tag: v0.1.2~12 X-Git-Url: https://svarog.pmf.uns.ac.rs/gitweb/?a=commitdiff_plain;h=d595df17d0014807d635a1f20467fca4d3adb5e9;p=mjc2wsl.git ant build - task to make transf-ini, and to run transf-min.wls on everything generated by the tool --- diff --git a/build.xml b/build.xml index cfd9ea2..a8ae864 100644 --- a/build.xml +++ b/build.xml @@ -107,6 +107,27 @@ + + + + + + + + + + + + + + + + + + ${generated-wsl-files} + +