Build Eclipse manual separately. For #5964 and #5968.

svn changeset:15933/svn branch:6.4

diff --git a/build/build.xml b/build/build.xml
index 537c29e90f84578979de051249d303473d0e6a4a..74be2cf8e330688d96bbdc09a95e6f7e4e0eec4f 100644 (file)
--- a/build/build.xml
+++ b/build/build.xml
@@ -907,9 +907,13 @@
 
     <!-- Build manual. -->
     <target name="manual-build" depends="manual-init, xep-license-copy">
-      <ant dir="${docdir}" antfile="build/build.xml" inheritAll="false">
-          <property name="version" value="${version.full}"/>
-      </ant>
+       <!-- The HTML and Eclipse Manual must be built with separate runs --> 
+        <ant dir="${docdir}" antfile="build/build.xml" inheritAll="false">
+            <property name="version" value="${version.full}"/>
+        </ant>
+        <ant dir="${docdir}" antfile="build/build.xml" target="manual-eclipse" inheritAll="false">
+            <property name="version" value="${version.full}"/>
+        </ant>
     </target>
 
     <!-- Copy the manual from sub Ant results to our output directory. -->