-But unfortunately, what with FrameMaker being proprietary, there isn't much
-out there apart from FrameMaker itself that can read them. I was hoping
-that conversion using [Mif2Go](http://mif2go.com) might be a possibility,
-but it turns out that that's just a plugin for FrameMaker. I guess I could
-get a trial FrameMaker license, try to set up the plugin and get it to
-autoconvert to some usable format, but it all looks far too messy. But on
-the plus side, the supplied GIF images are totally usable.
+After you have everything installed, you can build the HTML version of the
+guide from a command prompt, like this: