Documentation of option 'help.ports' not in help("options")

Wed, Oct 27, 2010 12:54 PM

FYI,

the option 'help.ports' is not document under help("options").  Should
it?  It is documented under help("startDynamicHelp", package="tools").

This is for for R v2.13.0dev and Rv2.12.0.

/Henrik