diff options
| author | pelder | 2007-02-05 14:32:47 -0500 |
|---|---|---|
| committer | pelder | 2007-02-05 14:32:47 -0500 |
| commit | 749816493cc9d8fa002a2555803f7f6a308c0db2 (patch) | |
| tree | 40fa452abc085b952884347a537271b33d9a46c6 | |
| parent | 39e65e11149c721cedd1db0a3905e8a8dcaf0932 (diff) | |
| download | org.eclipse.jet-749816493cc9d8fa002a2555803f7f6a308c0db2.tar.gz org.eclipse.jet-749816493cc9d8fa002a2555803f7f6a308c0db2.tar.xz org.eclipse.jet-749816493cc9d8fa002a2555803f7f6a308c0db2.zip | |
[172693] javadoc not working in build
| -rw-r--r-- | doc/org.eclipse.jet.doc/build/javadoc.xml.template | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/doc/org.eclipse.jet.doc/build/javadoc.xml.template b/doc/org.eclipse.jet.doc/build/javadoc.xml.template index 97bb0f5..8273d35 100644 --- a/doc/org.eclipse.jet.doc/build/javadoc.xml.template +++ b/doc/org.eclipse.jet.doc/build/javadoc.xml.template @@ -23,18 +23,18 @@ </target> <target name="javadoc" depends="extractPlatformJavadoc"> - <echo message="Get JDK1.4-compatible Doclet from R2_2_maintenance and use with javadoc"/> + <echo message="Get Doclet and compile it with JDK1.4 for use with javadoc"/> <cvs cvsRoot=":pserver:anonymous@dev.eclipse.org:/cvsroot/tools" package="org.eclipse.emf.releng.build/org.eclipse.emf.build" tag="R2_2_maintenance" reallyquiet="yes"/> - <delete quiet="true"> - <fileset dir="org.eclipse.emf.releng.build/org.eclipse.emf.build" excludes="emf.build_jdk14.jar"/> - <fileset dir="org.eclipse.emf.releng.build" includes="*"/> - </delete> + <delete dir="org.eclipse.emf.releng.build/org.eclipse.emf.build/src/CVS"/> + <move todir="."><fileset dir="org.eclipse.emf.releng.build/org.eclipse.emf.build/src"/></move> + + <javac srcdir="org/eclipse/emf/build/doclet" classpath=".:${java.home}/../lib/tools.jar" failonerror="true"/> <javadoc destdir="${destDir}" - classpath="${classpath}:${eclipseDir}/../org.eclipse.emf.releng.build/org.eclipse.emf.build/emf.build_jdk14.jar" + classpath="${classpath}" overview="${overview}" windowtitle="${windowTitle}" |