From c32f191acbc257f66cc11d23e3388f983929bca2 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Marko=20Gr=C3=B6nroos?= <magi@iki.fi>
Date: Mon, 26 Oct 2009 18:54:12 +0000
Subject: [PATCH] Allow parameterizing documentation checkout repository URL.
 Make the checkout quietly.

svn changeset:9383/svn branch:6.2
---
 build/build.xml | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/build/build.xml b/build/build.xml
index 4af539aeff..08980fcce3 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -1169,16 +1169,23 @@
 
     <!-- Checkout doc repository. -->
     <target name="manual-checkout" depends="manual-init" unless="docdir">
+		<property name="manual.repository" value="http://dev.vaadin.com/svn/doc/trunk"/>
+
+		<echo>Checking out manual from repository ${manual.repository}</echo>
+
         <mkdir dir="${checkout-path}"/>
 
         <exec executable="svn" dir="${checkout-path}">
             <arg value="checkout"/>
-            <arg value="http://dev.vaadin.com/svn/doc/trunk"/>
+            <arg value="-q"/>
+            <arg value="${manual.repository}"/>
             <arg value="docs"/>
         </exec>
 
 		<!-- Documentation source directory. -->
         <property name="docdir" value="${checkout-path}/docs"/>
+
+		<echo>Manual checked out from repository successfully</echo>
     </target>
 
     <!-- If the XEP is installed, copy it to proper place. -->
-- 
2.39.5