diff options
author | wisberg <wisberg> | 2002-12-23 19:38:15 +0000 |
---|---|---|
committer | wisberg <wisberg> | 2002-12-23 19:38:15 +0000 |
commit | ad22592b03d21deb506d38c86fe9253602b89cd6 (patch) | |
tree | e1b1af648d39ff3d9d9dfeadb2fa2f77dcfda7fb /docs | |
parent | 52ccc9be332715a2d8decfe4ee4ef3ffbad12426 (diff) | |
download | aspectj-ad22592b03d21deb506d38c86fe9253602b89cd6.tar.gz aspectj-ad22592b03d21deb506d38c86fe9253602b89cd6.zip |
fixed uptodate checking for local-dist
Diffstat (limited to 'docs')
-rw-r--r-- | docs/build.xml | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/docs/build.xml b/docs/build.xml index d60c5aebd..ecbad9bf2 100644 --- a/docs/build.xml +++ b/docs/build.xml @@ -30,6 +30,8 @@ <target name="init" depends="init-properties,init-directories"> + <property name="docs.src.pattern" + value="**/*.xml,**/*.html,**/*.doc,**/*.gif,**/*.java,**/*.lst,**/*.pdf"/> <property name="docs.src.dir" location="${aspectj.modules.docs.dir}"/> @@ -62,14 +64,13 @@ <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}"/> + targetfile="${docs.dist.dir}/doc/faq.html"> <!-- use faq as tag file --> + <srcfiles dir="${docs.src.dir}" includes="${docs.src.pattern}"/> </uptodate> - <uptodate property="dist.uptodate" targetfile="${docs.product.zip}"> <!-- use zip as tag file --> - <srcfiles dir="${docs.src.dir}"/> - <srcfiles dir="${docs.dist.dir}"/> + <srcfiles dir="${docs.src.dir}" includes="${docs.src.pattern}"/> + <srcfiles dir="${docs.dist.dir}" includes="${docs.src.pattern}"/> </uptodate> </target> @@ -146,12 +147,13 @@ <!-- build all doc products --> <!-- ============================================================ --> <target name="local-dist" depends="init" - unless="local.dist.uptodate" > + unless="local.dist.uptodate" + description="avoid local-dist antecedants if uptodate"> <antcall target="do-local-dist"/> </target> + <target name="do-local-dist" depends="init,init-filters,api,faq,devguide,progguide" - unless="local.dist.uptodate" description="finish products by copying dist files"> <copy todir="${docs.dist.dir}" filtering="on"> <fileset dir="${docs.src.dir}/dist" |