X-Git-Url: http://erislabs.net/gitweb/?p=mir.git;a=blobdiff_plain;f=build.xml;h=79b861cbf0fb001a7da8587ff8a87eb3f12d007d;hp=e56f8d4fdaed143612c2d034752302ce16ae387b;hb=cdc3db5412d34268550a3442408276eeeb434584;hpb=d2d13b77934735f1c5b1ab33b67c58cf9475d085 diff --git a/build.xml b/build.xml index e56f8d4f..79b861cb 100755 --- a/build.xml +++ b/build.xml @@ -12,7 +12,10 @@ - form of a war file - * source-distribution - Sets up a distributable version of mir as a - - zipped version of the source tree + - gzipped tar version of the source tree + - * full-distribution + - Sets up a distributable version of mir in the + - form of a gzipped tar file with the sources - * javadoc - Generates the project's javadoc --> @@ -218,10 +221,14 @@ - + + + + @@ -264,6 +271,14 @@ destdir="${build}/htmldocs" style="${build}/xslt/html.xsl"/> - + + + + + + + + +