ant javadoc fix

[Edward Rayl]

ant javadoc fails with:

C:\Java\derby>ant javadoc
Buildfile: build.xml

publishedapi:
   [delete] Deleting directory C:\Java\derby\javadoc\publishedapi
    [mkdir] Created dir: C:\Java\derby\javadoc\publishedapi
    [mkdir] Created dir: C:\Java\derby\javadoc\sourcedir

BUILD FAILED
C:\Java\derby\build.xml:364: Includesfile C:\Java\derby\${javadoctools.dir}\publ
ishedapi.ant not found.

The fix is to put:

javadoctools.dir=${src.dir}/tools/javadoc

in dirs.properties.