Try to fix doc build problem.
Change-Id: I7466a1551d14834ade51556faf6ee32cf2d357fd
Signed-off-by: Greg Watson <g.watson@computer.org>
diff --git a/core/org.eclipse.ptp.doc.isv/pom.xml b/core/org.eclipse.ptp.doc.isv/pom.xml
index 4f379b0..f858cfe 100644
--- a/core/org.eclipse.ptp.doc.isv/pom.xml
+++ b/core/org.eclipse.ptp.doc.isv/pom.xml
@@ -142,6 +142,14 @@
<type>eclipse-plugin</type>
</dependency>
</dependencies>
+ <!-- This needs to be explicitely set now, see https://bugs.eclipse.org/bugs/show_bug.cgi?id=395281 -->
+ <repositories>
+ <repository>
+ <id>platform</id>
+ <layout>p2</layout>
+ <url>${help-docs-eclipserun-repo}</url>
+ </repository>
+ </repositories>
</configuration>
<executions>
<execution>
diff --git a/pom.xml b/pom.xml
index c9de3ac..bc568ea 100644
--- a/pom.xml
+++ b/pom.xml
@@ -27,6 +27,7 @@
<photran-site>https://hudson.eclipse.org/ptp/job/ptp-nightly-photran/lastSuccessfulBuild/artifact/org.eclipse.photran.repo/target/repository/</photran-site>
<remote-site>http://download.eclipse.org/tools/ptp/builds/remote/${remote-version}</remote-site>
<license-site>http://download.eclipse.org/cbi/updates/license</license-site>
+ <help-docs-eclipserun-repo>http://download.eclipse.org/eclipse/updates/4.5</help-docs-eclipserun-repo>
<!-- The following property is used by the production profile to install the final repo and -->
<!-- associated components. It should be overridden if installing into a different location. -->
<ptp-install-dir>/home/data/httpd/download.eclipse.org/tools/ptp/builds/${ptp-version}</ptp-install-dir>
