|
|
|
|
|
|
|
|
<property name="devguide.icons.dir" |
|
|
<property name="devguide.icons.dir" |
|
|
location="${aspectj.modules.dir}/ajde/src/org/aspectj/ajde/resources/actions"/> |
|
|
location="${aspectj.modules.dir}/ajde/src/org/aspectj/ajde/resources/actions"/> |
|
|
<property name="include.devguide.icons" |
|
|
<property name="include.devguide.icons" |
|
|
value="startAjde.gif,build.gif,openConfig.gif,browseroptions.gif,jbuilder-build.gif" /> |
|
|
|
|
|
|
|
|
value="build.gif,openConfig.gif,browseroptions.gif" /> |
|
|
|
|
|
|
|
|
<!-- callers of xml-html use these by default --> |
|
|
<!-- callers of xml-html use these by default --> |
|
|
<property name="chunk.xsl.source" |
|
|
<property name="chunk.xsl.source" |
|
|
|
|
|
|
|
|
includes="${include.devguide.icons}" /> |
|
|
includes="${include.devguide.icons}" /> |
|
|
</copy> |
|
|
</copy> |
|
|
<antcall target="build-guide"> |
|
|
<antcall target="build-guide"> |
|
|
|
|
|
<param name="xml-html-copy" value="ajbrowser-building.gif,ajbrowser-options.gif,${include.devguide.icons}" /> |
|
|
<param name="guide.dir" value="devGuideDB"/> |
|
|
<param name="guide.dir" value="devGuideDB"/> |
|
|
<param name="guide.name" value="devguide"/> |
|
|
<param name="guide.name" value="devguide"/> |
|
|
</antcall> |
|
|
</antcall> |