Omni Systems, Inc. Mif2Go User's Guide, Version 55
> 12 Generating Eclipse Help > 12.2 Setting up an Eclipse Help project > 12.2.4 Specifying Eclipse Help output options > 12.2.4.1 Specifying a different output file extension
The default output file extension for Eclipse Help is .htm. To change the file extension (for example, to specify .html instead):