diff options
Diffstat (limited to 'build/build.xml')
| -rw-r--r-- | build/build.xml | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/build/build.xml b/build/build.xml index 0603bf7ed7..fe9d024792 100644 --- a/build/build.xml +++ b/build/build.xml @@ -913,9 +913,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. --> |