Eclipse content parameters
Certain parameters are specific to the Eclipse content transformation.
args.eclipse.provider : The provider name of the eclipse help output.
args.eclipse.version : The version number of the eclipse help output. Tip: The toolkit ignores the value of this property when processing an Eclipse Collection Map, eclipse.dtd.
: Tip: The toolkit ignores the value of this property when processing an Eclipse Collection Map, eclipse.dtd.
args.eclipsecontent.toc : Specifies the name of the TOC file.
Related information