diff options
| author | Andy Clement <aclement@pivotal.io> | 2019-02-08 15:13:07 -0800 |
|---|---|---|
| committer | Andy Clement <aclement@pivotal.io> | 2019-02-08 15:13:07 -0800 |
| commit | c89830fe880f329b6289be06314684edc094012c (patch) | |
| tree | 63dbaaa792ebd06d74639fc6b8be16c1af3f0e05 /docs | |
| parent | ce1533d8493277d1111005e890f076ef90b32eab (diff) | |
| download | aspectj-c89830fe880f329b6289be06314684edc094012c.tar.gz aspectj-c89830fe880f329b6289be06314684edc094012c.zip | |
tidyup
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/.classpath | 5 | ||||
| -rw-r--r-- | docs/build.xml | 7 |
2 files changed, 5 insertions, 7 deletions
diff --git a/docs/.classpath b/docs/.classpath deleted file mode 100644 index 6b2a02da9..000000000 --- a/docs/.classpath +++ /dev/null @@ -1,5 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<classpath> - <classpathentry kind="var" path="JRE_LIB" rootpath="JRE_SRCROOT" sourcepath="JRE_SRC"/> - <classpathentry kind="output" path="bin"/> -</classpath> diff --git a/docs/build.xml b/docs/build.xml index 8b7c8812c..0ab8c562d 100644 --- a/docs/build.xml +++ b/docs/build.xml @@ -56,7 +56,7 @@ <!-- must specify (not *.gif) to not delete other gifs during build-in-place --> <!-- to find refs: gp ax imagedata | sed -n 's|.*\=\"\(..*\)\".*|\1|p' --> <property name="devguide.icons.dir" - location="${aspectj.modules.dir}/ajde/src/org/aspectj/ajde/resources/actions" + location="${aspectj.modules.dir}/ajde/src/main/resources/org/aspectj/ajde/resources/actions" /> <property name="include.devguide.icons" value="build.gif,openConfig.gif,browseroptions.gif" @@ -203,9 +203,12 @@ </target> <target name="do-local-dist" - depends="init,init-filters,api,faq,devguide,progguide, adk15guide, pdguide" + depends="init,init-filters,faq,devguide,progguide, adk15guide, pdguide" description="finish products by copying dist files and library sources" > +<!-- + depends="init,init-filters,api,faq,devguide,progguide, adk15guide, pdguide" +--> <copy todir="${docs.dist.dir}" filtering="on"> <fileset dir="${docs.src.dir}/dist" |