diff options
| author | Marko Grönroos <magi@iki.fi> | 2008-05-07 16:50:21 +0000 |
|---|---|---|
| committer | Marko Grönroos <magi@iki.fi> | 2008-05-07 16:50:21 +0000 |
| commit | 52b9a41cbb19391e7a5f4c4fe5dab5676ba21977 (patch) | |
| tree | 40453adba9ae6c7f9f0b4c3a2636c8167d240606 /build | |
| parent | a0bc8aafdb9c73cc86953c1c23b20517cf41af96 (diff) | |
| download | vaadin-framework-52b9a41cbb19391e7a5f4c4fe5dab5676ba21977.tar.gz vaadin-framework-52b9a41cbb19391e7a5f4c4fe5dab5676ba21977.zip | |
Rebuild PDF manual if possible.
svn changeset:4377/svn branch:trunk
Diffstat (limited to 'build')
| -rw-r--r-- | build/build.xml | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/build/build.xml b/build/build.xml index 4a1fc22c37..d42cf1d5c5 100644 --- a/build/build.xml +++ b/build/build.xml @@ -89,6 +89,9 @@ <property file="build/VERSION.properties" /> <property file="build/html-style.properties" /> + <!-- Can run XEP only if license is available. --> + <available file="build/lib/XEP/license.xml" property="xep.license.available"/> + <!-- Create result dir unless already exists --> <mkdir dir="${result-path}" /> <!-- Find out which platform we are in --> @@ -787,8 +790,18 @@ </javadoc> </target> + <!-- Build PDF manual from sources or just copy it. --> + <target name="manual-pdf" depends="build-manual-pdf, copy-manual-pdf"> + </target> + + <!-- Just copy a prebuilt PDF manual. --> + <target name="copy-manual-pdf" unless="xep.license.available"> + <echo>PDF Manual: No XEP license available, just copy a prebuilt PDF.</echo> + <copy file="doc/manual/book.pdf" tofile="${output-dir}/WebContent/doc/manual.pdf" /> + </target> + <!-- XEP-based FO building --> - <target name="manual-pdf"> + <target name="build-manual-pdf" if="xep.license.available"> <echo>PDF Manual: processing images (TBD)</echo> <!-- TBD --> <echo>PDF Manual: converting xml to fo</echo> |