Bug 495761 - investigate and fix proxy settings for JavaDoc generation from Hudson
diff --git a/bundles/org.eclipse.jdt.doc.isv/buildDoc.xml b/bundles/org.eclipse.jdt.doc.isv/buildDoc.xml
index c9bc717..120edd3 100644
--- a/bundles/org.eclipse.jdt.doc.isv/buildDoc.xml
+++ b/bundles/org.eclipse.jdt.doc.isv/buildDoc.xml
@@ -6,7 +6,8 @@
<target name="init">
<property environment="env" />
<echo message="== DEBUG ANT_OPTS ==" />
- <echoproperties />
+ <echo message="env.ANT_OPTS: ${env.ANT_OPTS}" />
+ <echo message="env.JAVA_DOC_PROXIES" />
<available file="${basedir}/index" property="index.present"/>
</target>