Omni Systems, Inc. |  | Mif2Go User's Guide, Version 55 |  |  |  |  |

> 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

#### 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

| Mif2Go User's Guide: 12.3.4.4 Specifying Eclipse Help TOC properties in plugin.xml |  | Mif2Go User's Guide: 12.3.4.6 Including a runtime element in plugin.xml |