mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-24 17:35:35 +02:00
Code Issues Wiki Activity

Fixed the paths for the javadoc command. java.home is the jre directory.

Browse source
This commit is contained in:
Doug Schaefer 2005-04-06 16:04:48 +00:00
parent d4891a2e74
commit a2d6f721cf
1 changed files with 2 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
doc/org.eclipse.cdt.doc.isv/buildDoc.xml
View file

@ -25,10 +25,8 @@
</target> </target>
<target name="getJavadocPath"> <target name="getJavadocPath">
<available file="${java.home}/bin/javadoc.exe" property="javadoc" value="${java.home}/bin/javadoc.exe"/> <available file="${java.home}/../bin/javadoc.exe" property="javadoc" value="${java.home}/../bin/javadoc.exe"/>
<available file="${java.home}/bin/javadoc" property="javadoc" value="${java.home}/bin/javadoc" /> <available file="${java.home}/../bin/javadoc" property="javadoc" value="${java.home}/../bin/javadoc" />
<echo message="javadoc=${javadoc}"/>
<echo message="java.home=${java.home}"/>
</target> </target>
<target name="generateJavadoc" depends="getJavadocPath" if="javadoc"> <target name="generateJavadoc" depends="getJavadocPath" if="javadoc">