11.3.4.5 Specifying Eclipse Help index properties in plugin.xml

To specify index properties in plugin.xml:

[EclipseHelpOptions]

; IdxFilename = name for index file, normally index.xml

IdxFilename=index.xml

; UseIndex = Yes (for newer releases of Eclipse) or No (default)

UseIndex = Yes

See §11.4.5 Configuring index properties for Eclipse Help.

---

> 11 Generating Eclipse Help > 11.3 Configuring Eclipse Help manifest files > 11.3.4 Configuring the plug-in manifest file for Eclipse Help > 11.3.4.5 Specifying Eclipse Help index properties in plugin.xml