[ptp-dev] Adding Photran user documentation to Helios builds

[Jeffrey Overbey <overbey2@xxxxxxxxxxxx>]

Greg,

As I just mentioned on photran-dev, we (finally) have Photran's user's guide converted to an Eclipse Help plug-in in CVS.  (Actually, the wiki is still primary, and we're generating the help plug-in from the wiki markup... very cool.)

(1) Anything unusual I need to do to get this into the build?  The only thing odd is that it is new in Photran 6, so it doesn't exist in the 5_0 branch and shouldn't appear in the 5.0 builds.

(2) What do we need to do to make sure this will eventually be included with the other Helios stuff at help.eclipse.org?

Jeff