diff options
-rw-r--r-- | docs/build.xml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/docs/build.xml b/docs/build.xml index 903ed6ff8..8b7c8812c 100644 --- a/docs/build.xml +++ b/docs/build.xml @@ -220,7 +220,7 @@ <available file="${docs.src.dir}/../org.aspectj.lib/build-aspectjlib.xml" property="org.aspectj.lib.available" /> - <fail unless="org.aspectj.lib.available" + <!--fail unless="org.aspectj.lib.available" message="unable to find org.aspectj.lib" /> <mkdir dir="${docs.dist.dir}/doc/aspectjlib" /> @@ -228,8 +228,9 @@ <fileset dir="${docs.src.dir}/../org.aspectj.lib" includes="build-aspectjlib.xml,src/**" excludes="CVS" - /> + /> </copy> + --> </target> <target name="api" |