diff options
author | michelou <michelou@epfl.ch> | 2006-03-16 19:35:29 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2006-03-16 19:35:29 +0000 |
commit | 039933c86a545b5cff76310c7e2889087803530e (patch) | |
tree | def664fdd860c8a5cee59feca64f50b39ce76075 /build.xml | |
parent | 14cdf977379a0615a50776d2c3dadb55ab27df13 (diff) | |
download | scala-039933c86a545b5cff76310c7e2889087803530e.tar.gz scala-039933c86a545b5cff76310c7e2889087803530e.tar.bz2 scala-039933c86a545b5cff76310c7e2889087803530e.zip |
corrected handling of version number in build.xml
Diffstat (limited to 'build.xml')
-rw-r--r-- | build.xml | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -865,7 +865,7 @@ DOCUMENTATION <!-- =========================================================================== GENERATES A DISTRIBUTION ============================================================================ --> - + <target name="dist.devel" depends="init"> <property file="${number.file}"/> <property @@ -874,7 +874,7 @@ GENERATES A DISTRIBUTION /> <runtarget target="dist"/> </target> - + <target name="dist.patch" depends="init"> <propertyfile file="${number.file}" @@ -889,7 +889,7 @@ GENERATES A DISTRIBUTION /> <runtarget target="dist"/> </target> - + <target name="dist.minor" depends="init"> <propertyfile file="${number.file}" |