12.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 = No (default) or Yes (for newer releases of Eclipse)

UseIndex = Yes

See §12.4.5 Configuring index properties for Eclipse Help.

---

> 12 Generating Eclipse Help > 12.3 Configuring Eclipse Help manifest files > 12.3.4 Configuring the plug-in manifest file for Eclipse Help > 12.3.4.5 Specifying Eclipse Help index properties in plugin.xml