Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--jpa/plugins/org.eclipse.jpt.doc.isv/buildDoc.xml4
1 files changed, 3 insertions, 1 deletions
diff --git a/jpa/plugins/org.eclipse.jpt.doc.isv/buildDoc.xml b/jpa/plugins/org.eclipse.jpt.doc.isv/buildDoc.xml
index 9a1183f13e..c91297de2f 100644
--- a/jpa/plugins/org.eclipse.jpt.doc.isv/buildDoc.xml
+++ b/jpa/plugins/org.eclipse.jpt.doc.isv/buildDoc.xml
@@ -34,8 +34,10 @@
<target name="generateJavadoc" depends="getJavadocPath" if="javadoc">
- <echo message="java.home = ${java.home}" />
+ <property name="base.install.dir" value="../../../eclipse/plugins" />
+ <echo message="#### jpt.doc.isv #### - java.home = ${java.home}" />
<echo message="base.install.dir = ${base.install.dir}" />
+ <echo message="install.destination = ${install.destination}" />
<property name="optionsFile" value="jptOptions.tmp.txt" />
<copy file="jptOptions.txt" tofile="${optionsFile}" overwrite="true" />

Back to the top