diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/org.eclipse.cdt.doc.isv/buildDoc.xml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/org.eclipse.cdt.doc.isv/buildDoc.xml b/doc/org.eclipse.cdt.doc.isv/buildDoc.xml index 97a64d64b04..02ae6f2746e 100644 --- a/doc/org.eclipse.cdt.doc.isv/buildDoc.xml +++ b/doc/org.eclipse.cdt.doc.isv/buildDoc.xml @@ -27,6 +27,8 @@ <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}"/> </target> <target name="generateJavadoc" depends="getJavadocPath" if="javadoc"> |