diff options
| author | Marko Grönroos <magi@iki.fi> | 2009-10-26 18:54:12 +0000 |
|---|---|---|
| committer | Marko Grönroos <magi@iki.fi> | 2009-10-26 18:54:12 +0000 |
| commit | c32f191acbc257f66cc11d23e3388f983929bca2 (patch) | |
| tree | 8e0c3c277a693c4f0c08cb9470a6791181bcdece | |
| parent | 9600cd39c4651877c29bd2e15a3927096ebf0900 (diff) | |
| download | vaadin-framework-c32f191acbc257f66cc11d23e3388f983929bca2.tar.gz vaadin-framework-c32f191acbc257f66cc11d23e3388f983929bca2.zip | |
Allow parameterizing documentation checkout repository URL. Make the checkout quietly.
svn changeset:9383/svn branch:6.2
| -rw-r--r-- | build/build.xml | 9 |
1 files changed, 8 insertions, 1 deletions
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. --> |