diff options
| author | Marko Grönroos <magi@iki.fi> | 2010-11-01 11:12:22 +0000 |
|---|---|---|
| committer | Marko Grönroos <magi@iki.fi> | 2010-11-01 11:12:22 +0000 |
| commit | 4004d6854953041235023204762946d82ca14919 (patch) | |
| tree | 9962ba95f1a7477c11a25e5766dc85e38005f8d0 /build/build.xml | |
| parent | 0411e758f2155825a3fa1288746332c3f60de513 (diff) | |
| download | vaadin-framework-4004d6854953041235023204762946d82ca14919.tar.gz vaadin-framework-4004d6854953041235023204762946d82ca14919.zip | |
Define manual repository in VERSION.properties instead of the build script.
svn changeset:15805/svn branch:6.4
Diffstat (limited to 'build/build.xml')
| -rw-r--r-- | build/build.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build/build.xml b/build/build.xml index f3beda09d5..6fe1f8082d 100644 --- 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> |