diff options
| -rw-r--r-- | docs/build.xml | 10 | ||||
| -rw-r--r-- | docs/readme-docs-module.html | 6 |
2 files changed, 11 insertions, 5 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> diff --git a/docs/readme-docs-module.html b/docs/readme-docs-module.html index 0bd11ae2b..f46b39257 100644 --- a/docs/readme-docs-module.html +++ b/docs/readme-docs-module.html @@ -21,12 +21,12 @@ Dependencies outside this directory: <ul> <li>.xml files refer to their docbook dtds using relative path, for the moment ../../lib/docbook/... - <li> + </li> <li>When building docbook, uses ../lib/saxon libraries. - <li> + </li> <li>When building installer, using ../lib/build/build.jar and the ../build/installer-resources. - <li> + </li> </ul> </body> </html> |