aboutsummaryrefslogtreecommitdiffstats
path: root/docs/build.xml
diff options
context:
space:
mode:
Diffstat (limited to 'docs/build.xml')
-rw-r--r--docs/build.xml10
1 files changed, 8 insertions, 2 deletions
diff --git a/docs/build.xml b/docs/build.xml
index 30b281cf9..4ad90170b 100644
--- a/docs/build.xml
+++ b/docs/build.xml
@@ -127,7 +127,8 @@ XXX no update to avoid builds in this script
location="${docs.temp.dir}/xml-target-file.dummy"/>
<!-- default value for xml-html copying (copy all graphics) -->
<property name="xml-html-copy" value="*.gif,*.png" />
-
+ <property name="binary.pattern"
+ value="**/*.gif,**/*.png,**/*,**/*.doc,**/*.pdf"/>
<uptodate property="local.dist.uptodate"
targetfile="${docs.dist.dir}/faq.html"> <!-- use faq as tag file -->
<srcfiles dir="${docs.src.dir}"/>
@@ -221,7 +222,12 @@ XXX no update to avoid builds in this script
unless="local.dist.uptodate"
description="finish products by copying dist files">
<copy todir="${docs.dist.dir}" filtering="on">
- <fileset dir="${docs.src.dir}/dist" />
+ <fileset dir="${docs.src.dir}/dist"
+ excludes="${binary.pattern}"/>
+ </copy>
+ <copy todir="${docs.dist.dir}" filtering="off">
+ <fileset dir="${docs.src.dir}/dist"
+ includes="${binary.pattern}"/>
</copy>
</target>