diff options
author | Marko Grönroos <magi@iki.fi> | 2010-11-01 11:17:14 +0000 |
---|---|---|
committer | Marko Grönroos <magi@iki.fi> | 2010-11-01 11:17:14 +0000 |
commit | 2292910bfcf099ebd8894229f8c7b06880a6c60c (patch) | |
tree | 8a4bd7316aed91e8a98b4db2eeac30cbd8d0f0ac /build | |
parent | 093471c48f15595b02155ff8c12a38b1ac91d555 (diff) | |
download | vaadin-framework-2292910bfcf099ebd8894229f8c7b06880a6c60c.tar.gz vaadin-framework-2292910bfcf099ebd8894229f8c7b06880a6c60c.zip |
Merged [15805] from versions/6.4 to versions/6.5. Updated the actual value.
svn changeset:15809/svn branch:6.5
Diffstat (limited to 'build')
-rw-r--r-- | build/VERSION.properties | 1 | ||||
-rw-r--r-- | build/build.xml | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/build/VERSION.properties b/build/VERSION.properties index ebd5000546..876c0e823b 100644 --- a/build/VERSION.properties +++ b/build/VERSION.properties @@ -1 +1,2 @@ version=6.5.0 +manual.repository=http://dev.vaadin.com/svn/doc/trunk diff --git a/build/build.xml b/build/build.xml index f81b97cb09..c4146b5aa9 100644 --- a/build/build.xml +++ b/build/build.xml @@ -886,7 +886,7 @@ <!-- Checkout doc repository. --> <target name="manual-checkout" depends="manual-init" unless="docdir"> - <property name="manual.repository" value="http://dev.vaadin.com/svn/doc/trunk"/> + <!-- The required manual.repository property is defined in VERSION.properties --> <echo>Checking out manual from repository ${manual.repository}</echo> |