diff options
author | wisberg <wisberg> | 2005-05-21 21:47:41 +0000 |
---|---|---|
committer | wisberg <wisberg> | 2005-05-21 21:47:41 +0000 |
commit | 46e11ec0f479cb79aea13fcb49bfcac50f89f904 (patch) | |
tree | 7448f41b0723e10ac97df7a5ce16ee6b6989990f /docs/build.xml | |
parent | 9e01ce8e2f178778ec8a6605ed838d92a01d902b (diff) | |
download | aspectj-46e11ec0f479cb79aea13fcb49bfcac50f89f904.tar.gz aspectj-46e11ec0f479cb79aea13fcb49bfcac50f89f904.zip |
removing echos unused afaik
Diffstat (limited to 'docs/build.xml')
-rw-r--r-- | docs/build.xml | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/docs/build.xml b/docs/build.xml index 3015f7da0..9a8397434 100644 --- a/docs/build.xml +++ b/docs/build.xml @@ -286,20 +286,12 @@ <target name="devguide" depends="init"> - <echo level="info" - message="**** docs: just inside devguide target" - /> - <copy todir="${docs.src.dir}/devGuideDB" filtering="off"> <fileset dir="${devguide.icons.dir}" includes="${include.devguide.icons}" /> </copy> - <echo level="info" - message="**** docs: about to make call to build-guide target" - /> - <antcall target="build-guide"> <param name="xml-html-copy" value="dd_arrow.gif,aspectj-docs.css,ajbrowser-building.gif,ajbrowser-options.gif,${include.devguide.icons}" |