diff options
| author | wisberg <wisberg> | 2002-12-16 23:51:13 +0000 |
|---|---|---|
| committer | wisberg <wisberg> | 2002-12-16 23:51:13 +0000 |
| commit | 800a62a91f2543575a703a92fb818d4de3051534 (patch) | |
| tree | ecc1ca00a0058099d1febf2a76ed7cdae194bb37 /docs/build.xml | |
| parent | 2b35fa8a26f3f1572aa36d08a39d957de422b51e (diff) | |
| download | aspectj-800a62a91f2543575a703a92fb818d4de3051534.tar.gz aspectj-800a62a91f2543575a703a92fb818d4de3051534.zip | |
preserving binary dist files during creation
Diffstat (limited to 'docs/build.xml')
| -rw-r--r-- | docs/build.xml | 10 |
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> |