diff options
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 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> |