To export, select ->-> from the Eclipse menu and specify an output file.
HTML export settings can be changed in the Source Formatter preference page.
For HTML export to work, a working Source Formatter is needed (see the section called “Source Formatter”).