summaryrefslogtreecommitdiffstats
path: root/build
diff options
context:
space:
mode:
authorMarko Grönroos <magi@iki.fi>2010-11-01 11:17:14 +0000
committerMarko Grönroos <magi@iki.fi>2010-11-01 11:17:14 +0000
commit2292910bfcf099ebd8894229f8c7b06880a6c60c (patch)
tree8a4bd7316aed91e8a98b4db2eeac30cbd8d0f0ac /build
parent093471c48f15595b02155ff8c12a38b1ac91d555 (diff)
downloadvaadin-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.properties1
-rw-r--r--build/build.xml2
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>