diff options
author | wisberg <wisberg> | 2005-03-08 07:23:31 +0000 |
---|---|---|
committer | wisberg <wisberg> | 2005-03-08 07:23:31 +0000 |
commit | 1ccda254adf5faea53463209bc786fb976436857 (patch) | |
tree | 1ed4b38e1ead7028db8646deb21440d1cf550232 /docs/build.xml | |
parent | 2eb14b49f16327adc8db52259155bae141aa20fc (diff) | |
download | aspectj-1ccda254adf5faea53463209bc786fb976436857.tar.gz aspectj-1ccda254adf5faea53463209bc786fb976436857.zip |
minimal integration with org.aspectj.lib module
Diffstat (limited to 'docs/build.xml')
-rw-r--r-- | docs/build.xml | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/docs/build.xml b/docs/build.xml index c86ee1246..43e60e6e0 100644 --- a/docs/build.xml +++ b/docs/build.xml @@ -154,7 +154,7 @@ <target name="do-local-dist" depends="init,init-filters,api,faq,devguide,progguide, adk15guide" - description="finish products by copying dist files"> + description="finish products by copying dist files and library sources"> <copy todir="${docs.dist.dir}" filtering="on"> <fileset dir="${docs.src.dir}/dist" excludes="${binary.pattern}"/> @@ -163,6 +163,16 @@ <fileset dir="${docs.src.dir}/dist" includes="${binary.pattern}"/> </copy> + <available + file="${docs.src.dir}/../org.aspectj.lib/build-aspectjlib.xml" + property="org.aspectj.lib.available"/> + <fail unless="org.aspectj.lib.available" + message="unable to find org.aspectj.lib"/> + <mkdir dir="${docs.dist.dir}/aspectjlib"/> + <copy todir="${docs.dist.dir}/doc/aspectjlib" filtering="off"> + <fileset dir="${docs.src.dir}/../org.aspectj.lib" + includes="build-aspectjlib.xml,src"/> + </copy> </target> <target name="api" depends="init" |