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.
- args.eclipsecontent.toc
- Specifies the name of the TOC file.