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.

---