X-Git-Url: http://erislabs.net/gitweb/?p=mir.git;a=blobdiff_plain;f=build.xml;h=54c96281b520dabfbe803027500b72658140f9f2;hp=0cb5cf328349fe70a1a78a25c23f1ec82628c6c4;hb=HEAD;hpb=25452ca9972bbd8746eab0b09dfb74e51dbf60ff diff --git a/build.xml b/build.xml index 0cb5cf32..54c96281 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 --> @@ -209,7 +212,7 @@ - + @@ -218,10 +221,14 @@ - + + + + @@ -248,7 +255,7 @@ - + @@ -264,6 +271,14 @@ destdir="${build}/htmldocs" style="${build}/xslt/html.xsl"/> - + + + + + + + + +