diff options
| author | Jonatan Kronqvist <jonatan.kronqvist@itmill.com> | 2010-12-10 07:58:19 +0000 |
|---|---|---|
| committer | Jonatan Kronqvist <jonatan.kronqvist@itmill.com> | 2010-12-10 07:58:19 +0000 |
| commit | 6d768284f2925ace1c7e6e6bb56b23fe237422cb (patch) | |
| tree | 2f3aab4becc7e711f9a0922aee05efb98bbc5176 /build | |
| parent | 6da6f37502d2c1ba19881d76d63e4227b3b1439d (diff) | |
| download | vaadin-framework-6d768284f2925ace1c7e6e6bb56b23fe237422cb.tar.gz vaadin-framework-6d768284f2925ace1c7e6e6bb56b23fe237422cb.zip | |
Actually working fix for #6038
svn changeset:16438/svn branch:6.5
Diffstat (limited to 'build')
| -rw-r--r-- | build/build.xml | 26 |
1 files changed, 2 insertions, 24 deletions
diff --git a/build/build.xml b/build/build.xml index 13066175e3..e06ebbe520 100644 --- a/build/build.xml +++ b/build/build.xml @@ -205,8 +205,8 @@ <pathelement path="${lib-gwt-dev}" /> </path> - <available file="${checkout-path}/manual/book.xml" property="manual.source.available"/> - + <property name="docdir" value="${checkout-path}/docs"/> + <available file="${docdir}/manual/book.xml" property="manual.source.available"/> </target> <target name="internal-package-zip"> @@ -876,28 +876,6 @@ <!-- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - --> <target name="manual-init" depends="init" if="manual.source.available"> - <property name="docdir" value="${checkout-path}/docs"/> - </target> - - <!-- Checkout doc repository. --> - <target name="manual-checkout" depends="manual-init" unless="docdir"> - <!-- The required manual.repository property is defined in VERSION.properties --> - - <echo>Checking out manual from repository ${manual.repository}</echo> - - <mkdir dir="${checkout-path}"/> - - <exec executable="svn" dir="${checkout-path}"> - <arg value="checkout"/> - <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> <!-- Build manual. --> |