Actually working fix for #6038

svn changeset:16438/svn branch:6.5

diff --git a/build/build.xml b/build/build.xml
index 13066175e393ceec22413e5410acc514af01ae79..e06ebbe520063186bc19dd6886440de03a43d718 100644 (file)
--- 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. -->