Eclipse doc plugin

[Rick Hillegas]

Manjula kindly generated Eclipse ui and doc plugins, which I signed and 
uploaded. I'm a bit confused, though. Previous releases only had two 
Eclipse plugins: the core and ui plugins. Now there is a doc plugin as 
well? Should this doc plugin be included as part of the release or is 
this an artifact which I should omit when I post the official release?

Thanks,
-Rick