Define manual repository in VERSION.properties instead of the build script.

svn changeset:15805/svn branch:6.4

diff --git a/build/VERSION.properties b/build/VERSION.properties
index ecd654e0e1d6f151fb66de50e396f4c58413758d..8c5f8a41fb548f4e72130f2fa357ad0f3e3fb02b 100644 (file)
--- a/build/VERSION.properties
+++ b/build/VERSION.properties
@@ -1 +1,2 @@
 version=6.4.8
+manual.repository=http://dev.vaadin.com/svn/doc/branches/6.4

diff --git a/build/build.xml b/build/build.xml
index f3beda09d54ebf48a3dca7df56118adc2d913674..6fe1f8082dfaeb2f410950dd990b3270877cb31a 100644 (file)
--- a/build/build.xml
+++ b/build/build.xml
@@ -881,7 +881,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>