Convert FrameMaker MIF files to HTML.