diff options
author | Seth Tisue <seth@tisue.net> | 2015-07-13 18:06:35 -0400 |
---|---|---|
committer | Seth Tisue <seth@tisue.net> | 2015-07-13 18:37:48 -0400 |
commit | 6a4ca9bafe6b9f8dbfbcbb71fa86f2c34c53b753 (patch) | |
tree | b8df7276b3d65a89c848e03917185e3f30b8cd90 /build.xml | |
parent | 52fde52920d93325310e5544991feeea03e5c763 (diff) | |
download | scala-6a4ca9bafe6b9f8dbfbcbb71fa86f2c34c53b753.tar.gz scala-6a4ca9bafe6b9f8dbfbcbb71fa86f2c34c53b753.tar.bz2 scala-6a4ca9bafe6b9f8dbfbcbb71fa86f2c34c53b753.zip |
SI-8744 fix version.number in scaladoc.properties
the fix is as suggested by Adriaan in the ticket
Diffstat (limited to 'build.xml')
-rwxr-xr-x | build.xml | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1196,7 +1196,7 @@ TODO: </target> <target name="quick.scaladoc" depends="quick.comp"> - <staged-build with="locker" stage="quick" project="scaladoc" version="scaladoc"/> </target> + <staged-build with="locker" stage="quick" project="scaladoc"/> </target> <target name="quick.interactive" depends="quick.comp, quick.scaladoc"> <staged-build with="locker" stage="quick" project="interactive"/> </target> |