diff options
author | Marko Grönroos <magi@iki.fi> | 2010-11-09 13:49:43 +0000 |
---|---|---|
committer | Marko Grönroos <magi@iki.fi> | 2010-11-09 13:49:43 +0000 |
commit | de3d6490880575a8a84bab0263371c14581fa64b (patch) | |
tree | a60eae1267c5ac66a227a42c01fc8f1fcc15e42a /build | |
parent | 8955ae4af7eb58b7b184b63c913d9cbd00e65869 (diff) | |
download | vaadin-framework-de3d6490880575a8a84bab0263371c14581fa64b.tar.gz vaadin-framework-de3d6490880575a8a84bab0263371c14581fa64b.zip |
Build Eclipse manual separately. For #5964 and #5968.
svn changeset:15933/svn branch:6.4
Diffstat (limited to 'build')
-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 537c29e90f..74be2cf8e3 100644 --- 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. --> |