From a2d6f721cf21b85d479ce7e8e918b4bef96824bf Mon Sep 17 00:00:00 2001
From: Doug Schaefer <doug.schaefer@windriver.com>
Date: Wed, 6 Apr 2005 16:04:48 +0000
Subject: [PATCH] Fixed the paths for the javadoc command. java.home is the jre
 directory.

---
 doc/org.eclipse.cdt.doc.isv/buildDoc.xml | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/doc/org.eclipse.cdt.doc.isv/buildDoc.xml b/doc/org.eclipse.cdt.doc.isv/buildDoc.xml
index 02ae6f2746e..12737aaf56f 100644
--- a/doc/org.eclipse.cdt.doc.isv/buildDoc.xml
+++ b/doc/org.eclipse.cdt.doc.isv/buildDoc.xml
@@ -25,10 +25,8 @@
 	</target>
 	
 	<target name="getJavadocPath">
-		<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" />
-		<echo message="javadoc=${javadoc}"/>
-		<echo message="java.home=${java.home}"/>
+		<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" />
 	</target>
 	
 	<target name="generateJavadoc" depends="getJavadocPath" if="javadoc">