Allow parameterizing documentation checkout repository URL. Make the checkout quietly.

svn changeset:9383/svn branch:6.2

diff --git a/build/build.xml b/build/build.xml
index 4af539aeffe1f4727f8c29ea536e204c3bdc8a6f..08980fcce3370144b4755234520f202709de35e0 100644 (file)
--- 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. -->