Bug 380532

Summary: Javadoc errors in platform.doc.isv.javadoc.txt in I20120523-2100 due to orbit.map update
Product: [Eclipse Project] Platform Reporter: Markus Keller <markus.kell.r>
Component: DocAssignee: Markus Keller <markus.kell.r>
Status: VERIFIED FIXED QA Contact:
Severity: normal    
Priority: P3 CC: david_williams, markus.kell.r
Version: 3.8Keywords: Documentation
Target Milestone: 3.8 RC2   
Hardware: All   
OS: All   
Whiteboard:

Description Markus Keller CLA 2012-05-24 08:40:14 EDT
http://download.eclipse.org/eclipse/downloads/drops/I20120523-2100/compilelogs/platform.doc.isv.javadoc.txt contains a few Javadoc generation errors related to com.jcraft.jsch.

The version numbers in /org.eclipse.platform.doc.isv/platformOptions.txt need to match those in the orbit.map file.

More generally, all relevant changes in orbit.map must be propagated into the *.doc*/*Options.txt files.